162 search results - page 24 / 33 » Extraction in Coq: An Overview |
IV
2008
IEEE
14 years 2 months ago
2008
IEEE
The recent revolution of digital camera technology has resulted in much larger collections of images. Image browsing techniques thus become increasingly important for overview and...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper proposes an innovative methodology to perform and validate a Failure Mode and Effects Analysis (FMEA) at System-on-Chip (SoC) level. This is done in compliance with the...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees. ...
ISI
2007
Springer
14 years 1 months ago
2007
Springer
—Semantic Event Tracker (SET) is a highly interactive visualization tool for tracking and associating activities (events) in a spatially and Multimedia Enriched Virtual Environme...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
The next major advancement in television is expected to be stereoscopic three-dimensional television (3D-TV). A successful roll-out of 3D-TV will require a backwardcompatible tran...