Sciweavers

6833 search results - page 366 / 1367
» Some two-character sets
Sort
View
COCOON
2003
Springer
16 years 2 days ago
Petri Nets with Simple Circuits
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
Hsu-Chun Yen, Lien-Po Yu
CP
2003
Springer
16 years 2 days ago
Constraint-Based Optimization with the Minimax Decision Criterion
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
Craig Boutilier, Relu Patrascu, Pascal Poupart, Da...
FM
2003
Springer
129views Formal Methods» more  FM 2003»
16 years 2 days ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann
152
Voted
ISMVL
2010
IEEE
195views Hardware» more  ISMVL 2010»
15 years 12 months ago
ESOP-Based Toffoli Network Generation with Transformations
In this paper a new Toffoli gate cascade synthesis method is presented. This method is based on previous work [12] and generates a cascade of inverted-control-Toffoli gates from t...
Yasaman Sanaee, Gerhard W. Dueck
FGR
2002
IEEE
110views Biometrics» more  FGR 2002»
15 years 11 months ago
Two-Handed Gesture Tracking Incorporating Template Warping with Static Segmentation
In this paper we present a template-based method of motion estimation which tracks two-handed-gestures. In our method the gesturing information of temporal motion and spatial lumi...
Yu Huang, Thomas S. Huang, Heinrich Niemann