2638 search results - page 323 / 528 » A Framework for Automatic Debugging |
190
click to vote
ICW
2005
IEEE
16 years 17 days ago
2005
IEEE
Realistic simulation scenarios are critical to correctly assess the performance of mobile ad hoc networks. This paper presents a tool to generate realistic mobility traces for MAN...
168
click to vote
CAV
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
202
Voted
CIKM
2005
Springer
16 years 16 days ago
2005
Springer
Schema matching is the problem of finding correspondences (mapping rules, e.g. logical formulae) between heterogeneous schemas e.g. in the data exchange domain, or for distribute...
189
click to vote
EPIA
2005
Springer
16 years 15 days ago
2005
Springer
We present a general-purpose framework for updating a robot’s observation model within the context of planning and execution. Traditional plan execution relies on monitoring plan...
223
click to vote
IBPRIA
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. This paper describes a framework for analyzing video sequences of a driver and determining his level of attention. The proposed system deals with the computation of eyeli...