19003 search results - page 3497 / 3801 » We Need Assurance! |
155
click to vote
FASE
2007
Springer
16 years 10 days ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
169
click to vote
FSKD
2007
Springer
16 years 10 days ago
2007
Springer
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...
184
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
We attack the problem of user fatigue by using an interactive genetic algorithm to evolve user interfaces in the XUL interface definition language. The interactive genetic algori...
174
click to vote
GEOS
2007
Springer
16 years 10 days ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
160
click to vote
HIPC
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Wireless technology is becoming an attractive mode of communication for real-time applications in typical settings such as in an industrial setup because of the tremendou...