3081 search results - page 543 / 617 » A Formal Ontology of Properties |
AAAI
2007
15 years 2 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
AAAI
2008
15 years 2 months ago
2008
We introduce the problem of zero-data learning, where a model must generalize to classes or tasks for which no training data are available and only a description of the classes or...
103
click to vote
AAAI
2007
15 years 2 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...
122
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...