5964 search results - page 1102 / 1193 » A theory of speculative computation |
123
Voted
TPLP
2002
15 years 5 days ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
153
Voted
SAC
2008
ACM
15 years 20 hour ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
127
click to vote
SAC
2008
ACM
15 years 19 hour ago
2008
ACM
A major obstacle that decreases the performance of text classifiers is the extremely high dimensionality of text data. To reduce the dimension, a number of approaches based on rou...
207
click to vote
ATC
2010
Springer
14 years 11 months ago
2010
Springer
Co-Space refers to interactive virtual environment modelled after the real world we are situated in. Through realistic 3D modelling and animation technologies, Co-Space simulates t...
84
Voted
INFORMS
2010
14 years 11 months ago
2010
The concept of dominance among nodes of a branch-decision tree, although known since a long time, is not exploited by general-purpose Mixed-Integer Linear Programming (MILP) enume...