5550 search results - page 910 / 1110 » Different Approaches to Proof Systems |
206
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
There is an increasing need for automated support for humans monitoring the activity of distributed teams of cooperating agents, both human and machine. We characterize the domain...
187
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
This contribution addresses the problem of obtaining photorealistic 3D models of a scene from images alone with a structure-from-motion approach. The 3D scene is observed from mul...
172
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Chip-multiprocessors represent a dominant new shift in the field of processor design. Better utilization of such technology in the real-time context requires coordinated approa...
172
click to vote
RT
2004
Springer
16 years 13 hour ago
2004
Springer
Despite recent advances in finding efficient LOD-representations for gigantic 3D objects, rendering of complex, gigabyte-sized models and environments is still a challenging tas...
189
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Beta-barrel transmembrane (bbtm) proteins are a functionally important and diverse group of proteins expressed in the outer membranes of bacteria (both gram negative a...