972 search results - page 104 / 195 » Reasoning with Conditional Time-Intervals |
142
click to vote
ICRA
2009
IEEE
15 years 18 days ago
2009
IEEE
A Skilligent robot must be able to learn skills autonomously to accomplish a task. "Skilligence" is the capacity of the robot to control behaviors reasonably, based on th...
144
Voted
CACM
2010
15 years 9 days ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
139
click to vote
CLASSIFICATION
2010
15 years 8 days ago
2010
: The issue of determining "the right number of clusters" in K-Means has attracted considerable interest, especially in the recent years. Cluster intermix appears to be a...
122
Voted
IGPL
2010
15 years 4 days ago
2010
In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditi...
117
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...