1082 search results - page 216 / 217 » Ontological Semantics for the Use of UML in Conceptual Model... |
WAPCV
2007
Springer
14 years 11 days ago
2007
Springer
Computational models of grounded language learning have been based on the premise that words and concepts are learned simultaneously. Given the mounting cognitive evidence for conc...
POPL
1995
ACM
13 years 9 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
SIGMOD
2006
ACM
14 years 6 months ago
2006
ACM
In many data sharing settings, such as within the biological and biomedical communities, global data consistency is not always attainable: different sites' data may be dirty,...
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
BMCBI
2010
13 years 6 months ago
2010
Background: Data integration is an escalating problem in bioinformatics. We have developed a web tool and warehousing system, Booly, that features a simple yet flexible data model...