1940 search results - page 310 / 388 » Graph Transformation with Variables |
145
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
147
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
144
click to vote
3DPVT
2004
IEEE
2004
IEEE
Projection Model, 3D Reconstruction and Rigid Motion Estimation from Non-Central Catadioptric Images
15 years 8 months ago
This paper addresses the problem of rigid motion estimation and 3D reconstruction in vision systems where it is possible to recover the incident light ray direction from the image...
182
click to vote
CTRSA
2006
Springer
15 years 8 months ago
2006
Springer
The most important and expensive operation in a hyperelliptic curve cryptosystem (HECC) is scalar multiplication by an integer k, i.e., computing an integer k times a divisor D on ...
120
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...