1188 search results - page 44 / 238 » Testing Semantics: Connecting Processes and Process Logics |
234
click to vote
WEBDB
2010
Springer
15 years 10 months ago
2010
Springer
Data on the Web is increasingly being used for discovery and exploratory tasks. Unlike traditional fact-finding tasks that require only the typical single-query and response parad...
140
click to vote
NAACL
1994
15 years 7 months ago
1994
Recently we have begun to build the basic tools for a generic speech-dialog system. The main modules, their function and internal communication have been specified. The different ...
187
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
198
click to vote
ICAS
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
175
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The test time for core-external interconnect shorts/opens is typically much less than that for core-internal logic. Therefore, prior work on test infrastructure design for core-ba...