5606 search results - page 502 / 1122 » Randomization Techniques for Graphs. |
170
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
163
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We present some techniques for handling planning problems with numerical expressions that can be specified using the standard planning language PDDL. These techniques ar...
207
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
181
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. A new approach to parallelizing harmonic balance simulation is presented. The technique leverages circuit substructure to expose potential parallelism in the form of a di...
215
click to vote
ASYNC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...