166 search results - page 6 / 34 » Activate This Classroom at Time Now |
FOSSACS
2011
Springer
12 years 11 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
ADBIS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Being able to activate triggers at timepoints reached or after time intervals elapsed has been acknowledged by many authors as a valuable functionality of a DBMS. Recentl...
ISER
1997
Springer
14 years 3 hour ago
1997
Springer
: This paper describes experiments with an electrically actuated one legged hopping robot, the ARL Monopod. While a spring-mass system, comprised of the leg spring and the body mas...
GIS
2006
ACM
14 years 9 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Activity recognition is a key component for creating intelligent, multi-agent systems. Intrinsically, activity recognition is a temporal classification problem. In this paper, we...