97
Voted
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
105
Voted
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
140
click to vote
TIME
2002
IEEE
15 years 8 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] ...
107
Voted
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
94
Voted
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
113
click to vote
TIME
2002
IEEE
15 years 8 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...
111
Voted
TIME
2002
IEEE
15 years 8 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...
123
click to vote
TIME
2002
IEEE
15 years 8 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...
99
Voted
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE