1533 search results - page 189 / 307 » Semantic Matching: Algorithms and Implementation |
WWW
2001
ACM
14 years 10 months ago
2001
ACM
We describe a new paradigm for performing search in context. In the IntelliZap system we developed, search is initiated from a text query marked by the user in a document she view...
APLAS
2005
ACM
14 years 3 months ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
ICEIS
2002
IEEE
14 years 2 months ago
2002
IEEE
: This work describes the features of the DOMINO (Database fOr MovINg Objects) system, which brings several novelties to the problem of managing moving objects databases. Our robus...
PSTV
1992
13 years 10 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...