1017 search results - page 79 / 204 » On the Power of k -Consistency |
PODS
2010
ACM
14 years 3 months ago
2010
ACM
This paper approaches the incremental view maintenance problem from an algebraic perspective. We construct a ring of databases and use it as the foundation of the design of a quer...
ASPDAC
2009
ACM
14 years 2 months ago
2009
ACM
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
Recent improvements in fuel cell technology along with an increasing demand for small generator units have led to renewed interest in dispersed generation units. This work demonst...
ICRA
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper describes a mobile manipulator that uses its wheels for manipulation as well as locomotion. This robot, named the mobipulator, looks like a small car with four independ...
ACMIDC
2009
14 years 2 months ago
2009
In tangible learning environments the potential to exploit different physical-digital links increases representational power but also broadens the complexity of design. This paper...