Sciweavers

527 search results - page 68 / 106
» Words and Bisimulations of Dynamical Systems
Sort
View
CVPR
2010
IEEE
14 years 4 days ago
An Online Approach: Learning-Semantic-Scene-by-Tracking and Tracking-by-Learning-Semantic-Scene
Learning the knowledge of scene structure and tracking a large number of targets are both active topics of computer vision in recent years, which plays a crucial role in surveilla...
Xuan Song, Xiaowei Shao, Huijing Zhao, Jinshi Cui,...
MP
2002
110views more  MP 2002»
13 years 7 months ago
Robust optimization - methodology and applications
Abstract. Robust Optimization (RO) is a modeling methodology, combined with computational tools, to process optimization problems in which the data are uncertain and is only known ...
Aharon Ben-Tal, Arkadi Nemirovski
SIGSOFT
1994
ACM
13 years 11 months ago
Speeding up Slicing
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genev...
JUCS
2006
108views more  JUCS 2006»
13 years 7 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
NECO
2000
113views more  NECO 2000»
13 years 7 months ago
Geometric Analysis of Population Rhythms in Synaptically Coupled Neuronal Networks
We develop geometric dynamical systems methods to determine how various components contribute to a neuronal network's emergent population behavior. The results clarify the mu...
Jonathan E. Rubin, David Terman