156 search results - page 21 / 32 » Logic for Computational Effects: Work in Progress |
ICNP
2009
IEEE
15 years 4 months ago
2009
IEEE
—With advances in energy harvesting techniques, it is now feasible to build sustainable sensor networks (SSN) to support long-term applications. Unlike battery-powered sensor net...
67
Voted
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
DAC
2001
ACM
15 years 10 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
EDBT
2000
ACM
15 years 1 months ago
2000
ACM
The management and query processing of one dimensional intervals is a special case of extended object handling. One dimensional intervals play an important role in temporal databa...
FCCM
2002
IEEE
15 years 2 months ago
2002
IEEE
NASA’s satellites currently do not make use of advanced image compression techniques during data transmission to earth because of limitations in the available platforms. With th...