6456 search results - page 897 / 1292 » Constraint Solving on Terms |
184
click to vote
APN
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
178
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
190
click to vote
CC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
191
click to vote
CIKM
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents a cluster validation based document clustering algorithm, which is capable of identifying both important feature words and true model order (cluster number). I...
190
click to vote
CIKM
2004
Springer
16 years 6 days ago
2004
Springer
Indexing XML is crucial for efficient XML query processing. We propose a compact tree (Ctree) for XML indexing, which provides not only concise path summaries at group level but a...