10462 search results - page 1697 / 2093 » Toward the |
177
click to vote
EGOV
2010
Springer
15 years 8 months ago
2010
Springer
E-government has emerged as one of the most promising means to reform the public sector. E-government is now being used to improve services for assisted living. The purpose of assi...
202
Voted
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
194
click to vote
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
Ants provide an attractive metaphor for robots that "cooperate" in performing complex tasks. What, however, are the algorithmic consequences of following this metaphor? ...
187
Voted
GISCIENCE
2010
Springer
15 years 8 months ago
2010
Springer
As an alternative to expensive road surveys, we are working toward a method to infer the road network from GPS data logged from regular vehicles. One of the most important componen...
312
Voted
DICTA
2009
15 years 8 months ago
2009
Images captured in foggy weather conditions exhibit losses in quality which are dependent on distance. If the depth and atmospheric conditions are known, one can enhance the images...