199 search results - page 28 / 40 » date 2000 |
LICS
2000
IEEE
13 years 11 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
ADC
2000
Springer
13 years 11 months ago
2000
Springer
Workflow technology has emerged as an appropriate platform for consolidating the distributed information resources of an enterprise, promoting interoperability across cross-platfo...
AGENTCL
2000
Springer
13 years 11 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
EH
2000
IEEE
13 years 10 months ago
2000
IEEE
The differences between electronics design through artificial evolution and through conventional methods have the consequence that evolved circuits may take unusual leverage from ...
EKAW
2000
Springer
13 years 10 months ago
2000
Springer
Although the necessity of an ontology and ontological engineering is well-understood, there has been few success stories about ontology construction and its deployment to date. Thi...