TIME
2002
IEEE
13 years 11 months ago
2002
IEEE
TIME
2002
IEEE
13 years 11 months ago
2002
IEEE
TIME
2002
IEEE
13 years 11 months ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
TIME
2002
IEEE
13 years 11 months ago
2002
IEEE
TIME
2002
IEEE
13 years 11 months ago
2002
IEEE
TIME
2002
IEEE
13 years 11 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
TIME
2002
IEEE
13 years 11 months ago
2002
IEEE
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite autom...
TIME
2002
IEEE
13 years 11 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
TIME
2002
IEEE
13 years 11 months ago
2002
IEEE