Sciweavers

1251 search results - page 155 / 251
» Using Visualization to Debug Visualization Software
Sort
View
111
Voted
COMPSAC
1997
IEEE
15 years 6 months ago
Model-integrated system development: models, architecture, and process
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
Gabor Karsai, Amit Misra, Janos Sztipanovits, &Aac...
124
Voted
WILF
2005
Springer
86views Fuzzy Logic» more  WILF 2005»
15 years 8 months ago
Intelligent Track Analysis on Navy Platforms Using Soft Computing
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
Robert Richards, Richard Stottler, Ben Ball, Cosku...
149
Voted
AUIC
2003
IEEE
15 years 8 months ago
Use of Video Shadow for Small Group Interaction Awareness on a Large Interactive Display Surface
This paper reports work done as part of the Large Interactive Display Surface(LIDS) project at the University of Waikato. One application of the LIDS equipment is distributed meet...
Mark D. Apperley, Laurie McLeod, Masood Masoodian
146
Voted
CODES
2008
IEEE
15 years 4 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
182
Voted
PAMI
2012
13 years 5 months ago
CPMC: Automatic Object Segmentation Using Constrained Parametric Min-Cuts
—We present a novel framework to generate and rank plausible hypotheses for the spatial extent of objects in images using bottom-up computational processes and mid-level selectio...
João Carreira, Cristian Sminchisescu