Sciweavers

454 search results - page 24 / 91
» Holistic Context Modeling using Semantic Co-occurrences
Sort
View
FM
2008
Springer
137views Formal Methods» more  FM 2008»
13 years 10 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
SEMCO
2008
IEEE
14 years 3 months ago
Disambiguating Sounds through Context
A central problem in automatic sound recognition is the mapping between low-level audio features and the meaningful content of an auditory scene. We propose a dynamic network mode...
Maria E. Niessen, Leendert van Maanen, Tjeerd C. A...
FLAIRS
2009
13 years 6 months ago
EA NLU: Practical Language Understanding for Cognitive Modeling
This paper presents an approach to creating flexible general-logic representations from language for use in high-level reasoning tasks in cognitive modeling. These representations...
Emmett Tomai, Kenneth D. Forbus
COOPIS
1998
IEEE
14 years 27 days ago
Context Mediation on Wall Street
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
Allen Moulton, Stuart E. Madnick, Michael Siegel
APCCM
2008
13 years 10 months ago
Context Analysis: Toward Pragmatics of Web Information Systems Design
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim