9455 search results - page 316 / 1891 » The Modelling Language Zinc |
178
click to vote
VL
2006
IEEE
16 years 23 days ago
2006
IEEE
Reality-based interfaces (RBIs) offer the promise of natural interfaces that are intuitive to use. By allowing users to leverage their innate skills and knowledge about the real-p...
175
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
199
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
178
click to vote
FINTAL
2006
15 years 10 months ago
2006
This work presents a strategy that aims to extract and rank predicted answers from the web based on the eigenvalues of a specially designed matrix. This matrix models the strength ...
133
click to vote
ANLP
1994
15 years 8 months ago
1994
An analysis of the evolution of Natural Language front ends in the last three decades shows that the growth in portability brought, as a side effect, the narrowing of the provided...