166 search results - page 6 / 34 » Activate This Classroom at Time Now |
187
click to vote
FOSSACS
2011
Springer
14 years 9 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...
130
click to vote
ADBIS
2009
Springer
16 years 3 days 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...
136
click to vote
ISER
1997
Springer
15 years 9 months 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...
238
click to vote
GIS
2006
ACM
16 years 6 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...
170
click to vote
ATAL
2007
Springer
15 years 11 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...