4482 search results - page 709 / 897 » The Crowdsourcing Design Space |
HYBRID
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
We present an incremental tree editor based on algorithms for manipulating shape functions. The tree layout is hierarchical, left-to-right. Nodes of variable size and shape are sup...
ICMI
2004
Springer
14 years 2 months ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...
IPSN
2004
Springer
14 years 2 months ago
2004
Springer
This paper investigates the problem of designing decentralized representations to support monitoring and inferences in sensor networks. State-space models of physical phenomena su...
ISI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Terrorist events such as suicide bombings are rare yet extremely destructive events. Responses to such events are even rarer, because they require forecasting methods for...