Sciweavers

24421 search results - page 513 / 4885
» Communicating Complex Systems
Sort
View
123
Voted
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 5 months ago
Automatic Verification of Parametric Specifications with Complex Topologies
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Vio...
CSCW
2012
ACM
14 years 18 days ago
CrowdWeaver: visually managing complex crowd work
Though toolkits exist to create complex crowdsourced workflows, there is limited support for management of those workflows. Managing crowd workers and tasks requires significant i...
Aniket Kittur, Susheel Khamkar, Paul André,...
153
Voted
ISVC
2007
Springer
15 years 11 months ago
Learning to Recognize Complex Actions Using Conditional Random Fields
Surveillance systems that operate continuously generate large volumes of data. One such system is described here, continuously tracking and storing observations taken from multiple...
Christopher I. Connolly
ICTAI
2003
IEEE
15 years 10 months ago
A Cognitive Vision Platform for Automatic Recognition of Natural Complex Objects
This paper presents a generic cognitive vision platform for the automatic recognition of natural complex objects. The recognition consists of three steps : image processing for nu...
Céline Hudelot, Monique Thonnat
139
Voted
STACS
2001
Springer
15 years 9 months ago
Generalized Langton's Ant: Dynamical Behavior and Complexity
Langton’s ant is a simple discrete dynamical system, with a surprisingly complex behavior. We study its extension to general planar graphs. First we give some relations between c...
Anahí Gajardo, Eric Goles Ch., André...