1955 search results - page 48 / 391 » Can Computers Handle Adverbs |
128
Voted
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
Planning for numeric goals is an important problem. Only one of the many participants from the 2002 international planning competition (Metric-FF) can effectively handle problems ...
144
Voted
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
The volumes of data in information systems are growing drastically. The systems become increasingly complex in trying to handle heterogeneity of ubiquitous components, standards, ...
138
click to vote
ECOOP
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
157
click to vote
SGAI
2010
Springer
14 years 10 months ago
2010
Springer
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
128
click to vote
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...