Sciweavers

11797 search results - page 392 / 2360
» Recent Developments in the Experimental
Sort
View
ASP
2003
Springer
16 years 3 days ago
A Java Wrapper for DLV
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
Francesco Ricca
DSVIS
2003
Springer
16 years 3 days ago
An Empirical Study of Personal Document Spaces
The way people use computers has changed in recent years, from desktop single-machine settings to many computers and personal assistants in widely different contexts. Personal Docu...
Daniel Gonçalves, Joaquim A. Jorge
ICCS
2003
Springer
16 years 2 days ago
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
Olivier Bournez, Guy-Marie Côme, Valé...
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
15 years 12 months ago
High-Level Executable Specification of the Universal Plug and Play Architecture
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
Uwe Glässer, Yuri Gurevich, Margus Veanes
HICSS
2002
IEEE
101views Biometrics» more  HICSS 2002»
15 years 12 months ago
Workflow-Centric Distribution of Organizational Knowledge: The Case of Document Flow Coordination
Workflow-centric knowledge distribution mechanisms have been proposed recently by a number of researchers to coordinate the flow of codified knowledge in large organizations. This...
J. Leon Zhao