29172 search results - page 5722 / 5835 » Modeling Systems in CLP |
ISPASS
2008
IEEE
15 years 4 months ago
2008
IEEE
Although the best processor design for executing a specific workload does depend on the characteristics of the workload, it can not be determined without factoring-in the effect o...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
PIMRC
2008
IEEE
15 years 4 months ago
2008
IEEE
—Highways are an essential component of our society because they are critical to quality of life and to local and national economies. Under good conditions, highways provide a sa...
100
click to vote
SIBGRAPI
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a 3D face photography system based on a small set of training facial range images. The training set is composed by 2D texture and 3D range images (i.e. geometr...
ACCESSNETS
2008
Springer
15 years 4 months ago
2008
Springer
An indoor power line is one of the most attractive media for in-home networks. However, there are many technical problems for achieving in-home power line communication (PLC) with ...