4460 search results - page 730 / 892 » Formal methods for interactive systems |
247
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
In this paper we present a novel system for the detection and extraction of road map information from high-resolution satellite imagery. Uniquely, the proposed system is an integr...
129
click to vote
CLUSTER
2003
IEEE
15 years 9 months ago
2003
IEEE
Clusters provide an outstanding cost/performance ratio, but their efficient orchestration, i.e. their cooperative management, maintenance, and use, still poses difficulties. Mor...
132
click to vote
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
During software evolution, several different facets of the system need to be related to one another at multiple levbstraction. Current software evolution tools have limited capabi...
175
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Models of agent-environment interaction that use predictive state representations (PSRs) have mainly focused on the case of discrete observations and actions. The theory of discre...
136
Voted
EDUTAINMENT
2008
Springer
15 years 5 months ago
2008
Springer
Machine learning is a key technology to design and create intelligent systems, products, and related services. Like many other design departments, we are faced with the challenge t...