5415 search results - page 931 / 1083 » The Implementation of Functional Programming Languages |
185
click to vote
OTM
2007
Springer
16 years 17 days ago
2007
Springer
Lightweight ontologies in the form of RDF vocabularies such as SIOC, FOAF, vCard, etc. are increasingly being used and exported by “serious” applications recently. Such vocabul...
170
click to vote
MM
2005
ACM
16 years 13 hour ago
2005
ACM
In this paper we present our work toward the creation of a multimodal expressive Embodied Conversational Agent (ECA). Our agent, called Greta, exhibits nonverbal behaviors synchro...
183
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
175
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
141
click to vote
APSEC
2003
IEEE
15 years 11 months ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....