Sciweavers

1060 search results - page 110 / 212
» Mechanized semantics
Sort
View
UIST
1997
ACM
15 years 2 months ago
Designing and Implementing Asynchronous Collaborative Applications with Bayou
Asynchronous collaboration is characterized by the degree of independence collaborators have from one another. In particular, collaborators working asynchronously typically have l...
W. Keith Edwards, Elizabeth D. Mynatt, Karin Peter...
CSJM
2007
150views more  CSJM 2007»
14 years 10 months ago
An approach for NL text interpretation
For modeling the interpretation process of NL sentences we use the mechanisms implying semantic networks that assure syntactic – semantic text interpretation (SSI), including an...
Anatol Popescu, Sergiu Cretu
QSIC
2005
IEEE
15 years 3 months ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han
BMCBI
2007
146views more  BMCBI 2007»
14 years 10 months ago
Spatial location and its relevance for terminological inferences in bio-ontologies
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
Stefan Schulz, Kornél G. Markó, Udo ...
PCM
2007
Springer
109views Multimedia» more  PCM 2007»
15 years 4 months ago
Modeling User Feedback Using a Hierarchical Graphical Model for Interactive Image Retrieval
Relevance feedback is an important mechanism for narrowing the semantic gap in content-based image retrieval and the process involves the user labeling positive and negative images...
Jian Guan, Guoping Qiu