303 search results - page 58 / 61 » From Description Logic Provers to Knowledge Representation S... |
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...
SAC
2004
ACM
15 years 2 months ago
2004
ACM
The proliferation of IT and its consequent dispersion is an enterprise reality, however, most organizations do not have adequate tools and/or methodologies that enable the managem...
87
Voted
SIGMOD
2011
ACM
14 years 10 days ago
2011
ACM
The widespread adoption of the Resource Description Framework (RDF) for the representation of both open web and enterprise data is the driving force behind the increasing research...
81
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
IWANN
2009
Springer
15 years 4 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...