4913 search results - page 909 / 983 » Results and Perspectives of the G |
146
click to vote
COCOON
2007
Springer
16 years 16 days ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
184
click to vote
EMSOFT
2007
Springer
16 years 16 days ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
185
click to vote
CVPR
2006
IEEE
16 years 13 days ago
2006
IEEE
We present a novel method to obtain a 3D Euclidean reconstruction of both the background and moving objects in a video sequence. We assume that, multiple objects are moving rigidl...
176
click to vote
FCCM
2006
IEEE
16 years 13 days ago
2006
IEEE
The growth in size and performance of Field Programmable Gate Arrays (FPGAs) has compelled System-on-aProgrammable-Chip (SoPC) designers to use soft processors for controlling sys...
155
click to vote
GLOBECOM
2006
IEEE
16 years 13 days ago
2006
IEEE
As the Internet grows exponentially, scalable high performance routers and switches on backbone are required to provide a large number of ports, higher throughput, lower delay late...