Sciweavers

1981 search results - page 77 / 397
» The State of Change: A Survey
Sort
View
HICSS
2012
IEEE
268views Biometrics» more  HICSS 2012»
14 years 1 months ago
Goals and Tasks: Two Typologies of Citizen Science Projects
—Citizen science is a form of research collaboration involving members of the public in scientific research projects to address real-world problems. Often organized as a virtual...
Andrea Wiggins, Kevin Crowston
OOPSLA
2009
Springer
16 years 24 days ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
CDC
2009
IEEE
151views Control Systems» more  CDC 2009»
15 years 11 months ago
An algorithm for event-based optimal feedback control
— We present an algorithm for an event based approach to the global optimal control of nonlinear systems with coarsely quantized state measurement. The quantized measurements ind...
Lars Grüne, Florian Mueller
TACAS
1999
Springer
91views Algorithms» more  TACAS 1999»
15 years 10 months ago
Timed Diagnostics for Reachability Properties
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
Stavros Tripakis
RAID
2004
Springer
15 years 11 months ago
Seurat: A Pointillist Approach to Anomaly Detection
Abstract. This paper proposes a new approach to detecting aggregated anomalous events by correlating host file system changes across space and time. Our approach is based on a key...
Yinglian Xie, Hyang-Ah Kim, David R. O'Hallaron, M...