728 search results - page 64 / 146 » ideas 2009 |
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
VLSID
2009
IEEE
14 years 10 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
ICIAP
2009
ACM
14 years 10 months ago
2009
ACM
In a typical video surveillance framework, a single camera or a set of cameras monitor a scene in which human activities are carried out. In this paper, we propose a complementary ...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
The idea of interactional trajectories through interfaces has emerged as a sensitizing concept from recent studies of tangible interfaces and interaction in museums and galleries....
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Applications supporting navigation in large networks are used every days by millions of people. They include road map navigators, ight route visualization systems, and network vis...