29147 search results - page 5732 / 5830 » System Modeling Resurrected |
123
click to vote
LICS
2008
IEEE
15 years 10 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...
143
click to vote
PIMRC
2008
IEEE
15 years 10 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...
158
click to vote
SIBGRAPI
2008
IEEE
15 years 10 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...
135
click to vote
ACCESSNETS
2008
Springer
15 years 10 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 ...
142
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...