1557 search results - page 245 / 312 » Programming up to Congruence |
101
click to vote
SECON
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--EcoExec is a host-assisted interactive execution environment for wireless sensing systems. Users can interact with sensor nodes by viewing attributes and invoking functio...
109
click to vote
GI
2009
Springer
14 years 9 months ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
ICCAD
2009
IEEE
14 years 8 months ago
2009
IEEE
In this paper, we propose a new technique, referred to as virtual probe (VP), to efficiently measure, characterize and monitor both inter-die and spatially-correlated intra-die va...
164
click to vote
FSTTCS
2010
Springer
14 years 8 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
117
Voted
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
We propose a novel linearly augmented tree method for efficient scale and rotation invariant object matching. The proposed method enforces pairwise matching consistency defined ...