21094 search results - page 319 / 4219 » An experiment using DLV-K |
189
click to vote
ICES
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
194
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. Complex physical systems can be defined using simple rules, reducing the development...
161
click to vote
IBPRIA
2009
Springer
15 years 11 months ago
2009
Springer
This paper proposes a gender recognition scheme focused on local appearance-based features to describe the top half of the face. Due to the fact that only the top half of the face ...
182
click to vote
ICCVW
1999
Springer
15 years 11 months ago
1999
Springer
A new approach to characterizing the performance of point-correspondencealgorithmsis presented. Instead of relyingon any \ground truth', it uses the self-consistency of the o...
153
click to vote
SIGSOFT
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, ...