1413 search results - page 274 / 283 » ideas 2007 |
TLCA
2007
Springer
14 years 10 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
VLDB
2007
ACM
14 years 10 days ago
2007
ACM
Dataspace management has been recently identified as a new agenda for information management [17, 22] and information integration [23]. In sharp contrast to standard information ...
VLSI
2007
Springer
14 years 10 days ago
2007
Springer
In this paper, we present the way of fast and accurate estimation of software energy consumption in off-the-shelf processor using IPI(Inter-Prefetch Interval) energy model. In ou...
VMCAI
2007
Springer
14 years 10 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
WAPCV
2007
Springer
14 years 10 days ago
2007
Springer
One of the first steps of any visual system is that of locating suitable interest points, ‘salient regions’, in the scene, to detect events, and eventually to direct gaze towa...