Sciweavers

188 search results - page 6 / 38
» Contextual reasoning distilled
Sort
View
AC
2000
Springer
13 years 12 months ago
Operational Semantics and Program Equivalence
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
Andrew M. Pitts
INTERSPEECH
2010
13 years 2 months ago
A spoken term detection framework for recovering out-of-vocabulary words using the web
Vocabulary restrictions in large vocabulary continuous speech recognition (LVCSR) systems mean that out-of-vocabulary (OOV) words are lost in the output. However, OOV words tend t...
Carolina Parada, Abhinav Sethy, Mark Dredze, Frede...
IDA
1999
Springer
13 years 11 months ago
Reasoning about Input-Output Modeling of Dynamical Systems
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
Matthew Easley, Elizabeth Bradley
DLOG
2007
13 years 9 months ago
Contextualization of a DL Knowledge Base
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...
Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...
FLAIRS
2004
13 years 9 months ago
Automatic Creation of Contextual Knowledge in Simulated Agents
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
Hans Fernlund, Avelino J. Gonzalez