883 search results - page 43 / 177 » The Semantics of Verilog Using Transition System Combinators |
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
UIC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In the last years, techniques for activity recognition have attracted increasing attention. Among many applications, a special interest is in the pervasive e-Health domai...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
FLAIRS
2007
13 years 11 months ago
2007
XGR (XML Data Grid) and BabelPeers are both data management systems based on distributed hash tables (DHT) that use the Pastry DHT to store data and meta data. XGR is based on the...
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
We introduce EntityEngine, a system for answering entityrelationship queries over text. Such queries combine SQLlike structures with IR-style keyword constraints and therefore, ca...