2765 search results - page 42 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
168
click to vote
ICTIR
2009
Springer
15 years 3 months ago
2009
Springer
Intuitively, any `bag of words' approach in IR should benefit from taking term dependencies into account. Unfortunately, for years the results of exploiting such dependencies ...
200
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
210
click to vote
IFIP
2001
Springer
15 years 10 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
154
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
147
click to vote
ACL
1998
15 years 7 months ago
1998
In this paper we present the results of the combination of stochastic and rule-based disambiguation methods applied to Basque languagel. The methods we have used in disambiguation...