10988 search results - page 1909 / 2198 » Algorithmic Folding Complexity |
138
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
156
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Dynamic detection and elimination of symmetry in constraints, is in general a hard task, but in Not-Equals binary constraint networks, the symmetry conditions can be simplified. I...
128
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Ontologies play a key role in agent communication and the emerging Semantic Web to define a vocabulary of concepts and their relationships. Different agents and web services may us...
150
click to vote
DAS
2006
Springer
15 years 8 months ago
2006
Springer
Over the past two decades a significant number of layout analysis (page segmentation and region classification) approaches have been proposed in the literature. Each approach has b...
139
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...