2583 search results - page 211 / 517 » On the Representation of Timed Polyhedra |
162
click to vote
ISMIS
2005
Springer
16 years 12 hour ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
136
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
165
click to vote
GCB
2004
Springer
15 years 12 months ago
2004
Springer
: The main contribution of this paper is a novel approach for fast searching in huge structural databases like the PDB. The data structure is based on an adaption of the generalize...
171
click to vote
DELTA
2002
IEEE
15 years 11 months ago
2002
IEEE
A new method for hierarchical fault simulation based on multi-level Decision Diagrams (DD) is proposed. We suppose that a register transfer (RT) level information along with gate-...
143
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We consider the task of assembling a large number of self controlled parts (or robots) into copies of a prescribed assembly (or formation). In particular, we introduce a way to sy...