3335 search results - page 147 / 667 » A Unified Approach to Modeling and Programming |
161
click to vote
MVA
1996
15 years 7 months ago
1996
We propose a new approach for vision based road following. The approach is tailored to a well structured highway environment with lane markers. Lane markers are detected and used ...
147
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
191
click to vote
PPL
2008
15 years 6 months ago
2008
Execution of programs with data parallel language constructs is either based on the fork/join or on the SPMD model. Whereas the former executes a program sequentially and confines...
194
click to vote
DALT
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
153
click to vote
EICS
2009
ACM
16 years 29 days ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...