10608 search results - page 1829 / 2122 » Complexity of O'Hara's Algorithm |
131
Voted
FMCAD
2004
Springer
15 years 7 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...
153
Voted
CP
2006
Springer
15 years 7 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...
121
click to vote
DALT
2006
Springer
15 years 7 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...
143
Voted
DAS
2006
Springer
15 years 7 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...
132
Voted
DATE
2006
IEEE
15 years 7 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...