8499 search results - page 88 / 1700 » cans 2009 |
124
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
109
Voted
EACL
2009
ACL Anthology
14 years 10 months ago
2009
ACL Anthology
We show how global constraints such as transitivity can be treated intensionally in a Zero-One Integer Linear Programming (ILP) framework which is geared to find the optimal and c...
110
Voted
FLAIRS
2009
14 years 10 months ago
2009
Though polarity classification has been extensively explored at document level, there has been little work investigating feature design at sentence level. Due to the small number ...
109
click to vote
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
101
Voted
GI
2009
Springer
14 years 10 months ago
2009
Springer
: Situation awareness for ground combat vehicles is being actively developed by the U.S. Army to enable soldiers and commanders to have a better understanding of their environments...