3864 search results - page 150 / 773 » time 2005 |
201
click to vote
ASP
2005
Springer
15 years 12 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
156
click to vote
CRV
2005
IEEE
16 years 1 days ago
2005
IEEE
: We report on 4 algorithms for recovering dense depth maps from long image sequences, where the camera motion is known a priori. All methods use a Kalman filter to integrate inte...
120
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Carefully tested electric/electronic components are a requirement for effective hardware-in-the-loop tests and vehicle tests in automotive industry. A new method for definition an...
125
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Modern embedded applications usually have real-time constraints and they are implemented using heterogeneous multiprocessor systems-on-chip. Dimensioning a system requires accurat...
156
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper proposes a new hardware-based energy management technique for future embedded multithreaded processors with integrated Earliest Deadline First (EDF) real-time ...