3335 search results - page 547 / 667 » Grid result checking |
136
click to vote
EUC
2004
Springer
15 years 7 months ago
2004
Springer
Servicing mobile hosts over the Internet has some problems including nodes' location, independent addressing, address conversion and packet forwarding as well as mobile host&#...
148
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
132
click to vote
CSCLP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we present a novel approach to solving Constraint Satisfaction Problems whose constraint graphs are highly clustered and the graph of clusters is close to b...
122
click to vote
DAGM
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a practical system for vision-based traffic scene analysis from a moving vehicle based on a cognitive feedback loop which integrates real-time geometry estimati...
124
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...