Sciweavers

2042 search results - page 317 / 409
» The Design and Implementation of a Semantic Service Mediatio...
Sort
View
ATAL
2009
Springer
16 years 29 days ago
Bounded practical social reasoning in the ESB framework
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
Iain Wallace, Michael Rovatsos
BMCBI
2008
121views more  BMCBI 2008»
15 years 6 months ago
OntoDas - a tool for facilitating the construction of complex queries to the Gene Ontology
Background: Ontologies such as the Gene Ontology can enable the construction of complex queries over biological information in a conceptual way, however existing systems to do thi...
Kieran O'Neill, Alexander García Castro, An...
VLDB
1993
ACM
113views Database» more  VLDB 1993»
15 years 10 months ago
An Active Object-Oriented Database: A Multi-Paradigm Approach to Constraint Management
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
Hiroshi Ishikawa, Kazumi Kubota
KBS
2006
92views more  KBS 2006»
15 years 6 months ago
Facilitating formal specification acquisition by using recursive functions on context-free languages
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
Haiming Chen, Yunmei Dong
WWW
2009
ACM
16 years 7 months ago
Bucefalo: a tool for intelligent search and filtering for web-based personal health records
In this poster, a tool named BUCEFALO is presented. This tool is specially designed to improve the information retrieval tasks in web-based Personal Health Records (PHR). This too...
Francisco P. Romero, Jesús Serrano-Guerrero...