165
Voted
TIME
2002
IEEE
16 years 10 days ago
2002
IEEE
204
click to vote
TIME
2002
IEEE
16 years 10 days 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] ...
168
Voted
TIME
2002
IEEE
16 years 10 days ago
2002
IEEE
172
click to vote
TIME
2002
IEEE
16 years 10 days 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...
183
Voted
TIME
2002
IEEE
16 years 10 days 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...
181
click to vote
TIME
2002
IEEE
16 years 10 days 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...