1884 search results - page 163 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
138
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
87
Voted
KI
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
96
Voted
ICIAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper presents a robust technique for estimating onboard monocular vision system pose. The proposed approach is based on a dense optical flow that is robust against...
100
click to vote
NOMS
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— Today’s networked systems are extensively instrumented for collecting a wealth of monitoring data. In this paper, we propose a framework called System-wide Similarity...
95
Voted
ICDCS
1998
IEEE
15 years 2 months ago
1998
IEEE
In distributed object systems, remote method inattempts to abstract communication between di erent machines to the level of object method invocation. Link failure in such systems ...