3070 search results - page 469 / 614 » Evaluating digital libraries |
196
click to vote
ATVA
2007
Springer
16 years 17 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
165
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...
162
click to vote
ICIC
2007
Springer
16 years 16 days ago
2007
Springer
This paper presents a novel fault detection and section estimation method for unbalanced underground distribution systems (UDS). The method proposed is based on artificial neural n...
148
click to vote
ICWL
2007
Springer
16 years 16 days ago
2007
Springer
In this paper we present the European project Open Dance and in particular our contribution to the 3D simulation of folk dances and their presentation on the web. Our aim is to pro...
170
click to vote
DIAL
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper lies on the field of ancient patrimonial books valorization: it precisely relates to the development of suitable assistance tools for humanists and historians to help t...