6957 search results - page 1153 / 1392 » Planning before plans |
185
click to vote
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
— The environmental science and engineering communities are actively engaged in planning and developing the next generation of large-scale sensor-based observing systems. These s...
255
click to vote
CSCLP
2008
Springer
15 years 8 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
232
click to vote
CSCLP
2008
Springer
15 years 8 months ago
2008
Springer
We consider constraint optimization problems where costs (or preferences) are all given, but some are tagged as possibly unstable, and provided with a range of alternative values. ...
167
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
Wikipedia's success is often attributed to involving large numbers of contributors who improve the accuracy, completeness and clarity of articles while reducing bias. However...
216
click to vote
CSEE
2008
Springer
15 years 8 months ago
2008
Springer
In order to attend the industry needs, it is necessary to provide more practical issues of real software development in the academic curricula. This paper describes an educational...