Sciweavers

9264 search results - page 409 / 1853
» Space Between Languages
Sort
View
IJCNLP
2004
Springer
16 years 6 days ago
Word Folding: Taking the Snapshot of Words Instead of the Whole
The snapshot of a word means the most informative fragment of the word. By taking the snapshot instead of the whole, the value space of the lexical feature can be significantly r...
Jin-Dong Kim, Jun-ichi Tsujii
TIME
1998
IEEE
15 years 11 months ago
A Logic of Action, Causality, and the Temporal Relations of Events
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
Richard B. Scherl, Glenn Shafer
FM
1994
Springer
113views Formal Methods» more  FM 1994»
15 years 11 months ago
Abstract Model Checking of Infinite Specifications
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
Daniel Jackson
SEMWEB
2010
Springer
15 years 1 months ago
The Semantic Web needs more cognition
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
Martin Raubal, Benjamin Adams
PPDP
2009
Springer
16 years 1 months ago
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
Sergio Antoy, Michael Hanus