Computer Science

Symbolic computation in Java

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99. Presented at the the 1999 international symposium.

Efficient algorithms for computing the nearest polynomial with a real root and related problems

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99. Presented at the the 1999 international symposium.

Information management for co-operative engineering

COOPERATIVE KNOWLEDGE PROCESSING FOR ENGINEERING DESIGN. https://publons.com/publon/21294527/

Verifying Compliance with Commitment Protocols: Enabling Open Web-Based Multiagent Systems

Autonomous Agents and Multi-Agent Systems, 2(3), 217–236. http://www.scopus.com/inward/record.url?eid=2-s2.0-0041784059&partnerID=MN8TOARS

E-commerce over communicators: Challenges and solutions for user interfaces

ACM International Conference Proceeding Series, 177–186.

Ontology for commitments in multiagent systems: toward a unification of normative concepts

Artificial Intelligence and Law, 7(1), 97–113.

Degrees of separation

IEEE Internet Computing.

Be patient and tolerate imprecision: How autonomous agents can coordinate effectively

IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2. https://publons.com/publon/21294533/

Be patient and tolerate imprecision: How autonomous agents can coordinate effectively

IJCAI International Joint Conference on Artificial Intelligence, 1, 512–517. http://www.scopus.com/inward/record.url?eid=2-s2.0-0005865187&partnerID=MN8TOARS

Agents for process coherence in virtual enterprises

Communications of the ACM, 42(3), 62–69. http://www.scopus.com/inward/record.url?eid=2-s2.0-0002572761&partnerID=MN8TOARS

Background to qualitative decision theory

AI Magazine, 20(2), 55–68. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032641691&partnerID=MN8TOARS

Evaluating iterative improvement heuristics for bigraph crossing minimization

ISCAS'99. Proceedings of the 1999 IEEE International Symposium on Circuits and Systems VLSI (Cat. No. 99CH36349), 6, 444–447.

Formal specification of concurrent systems

Advances in Engineering Software, 30(3), 211–224. http://www.scopus.com/inward/record.url?eid=2-s2.0-0033098338&partnerID=MN8TOARS

The Provost's Office, North Carolina State University: An informal history, 1955-1993

Raleigh, NC: Special Collections Department, North Carolina State University Libraries.

Probabilistic temporal logics via the modal mu-calculus

In Foundations of software science and computation structures: Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999: proceedings (Vol. 1578, pp. 288–305). Berlin; New York: Springer.

Preparing technical communicators for future workplaces: A model that integrates teaming, professional communication skills, and a software development process

Conference proceedings, the Seventeenth Annual International Conference of Computer Documentation, 99, September 12-14, 1999, New Orleans, LA USA, 110–119.

Cognitive and computational models of suspense: Towards the automatic creation of suspense in interactive narratives

Presentation at Interactive Frictions: The conference produced at the Pressure Point Between Theory and Practice: An International Conference on Interactive Narrative, (1999 June).

Notes on the use of plan structures in the creation of interactive plot

Cooperative plan identification: Constructing concise and effective plan descriptions

Proceedings: Sixteenth National Conference on Artificial Intelligence (AAAI-99): Eleventh Innovative Applications of Artificial Intelligence Conference (IAAI-99): [July 18-22, 1999, Orlando, Florida, 597–604. Menlo Park, Calif.: AAAI Press ; Cambridge, Mass.: Distributed by MIT Press.

Heuristics and experimental design for bigraph crossing number minimization

In Algorithm Engineering and Experimentation: International workshop ALENEX '99, Baltimore, MD, USA, Jan. 15-16, 1999. (Vol. 1619, pp. 74–93).