2138 search results - page 366 / 428 » Logical Step-Indexed Logical Relations |
137
click to vote
WETICE
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent years, many collaborative organizations started to experience the application of methods and tools for semantic-driven service discovery in a P2P-based scenario. A criti...
154
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
Question Answering (QA) systems automatically answer natural language questions in a human-like manner. One of the practical approaches to open domain QA consists in extracting fa...
105
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
The current effort to extend the power of information systems by making use of the semantics associated with terms and structures has resulted in a need to establish correspondenc...
136
click to vote
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The switch architecture with the combined inputcrosspoint queueing (CICQ) scheme has been recognized as a practical promising solution for building cost-effective highp...
114
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...