Sciweavers

2563 search results - page 416 / 513
» Phenomenology, Representations and Complexity
Sort
View
CAL
2006
15 years 6 months ago
A Case for Compressing Traces with BDDs
Instruction-level traces are widely used for program and hardware analysis. However, program traces for just a few seconds of execution are enormous, up to several terabytes in siz...
Graham D. Price, Manish Vachharajani
COR
2006
122views more  COR 2006»
15 years 6 months ago
Multiple task assignments for cooperating uninhabited aerial vehicles using genetic algorithms
A problem of assigning cooperating uninhabited aerial vehicles to perform multiple tasks on multiple targets is posed as a new combinatorial optimization problem. A genetic algori...
Tal Shima, Steven J. Rasmussen, Andrew G. Sparks, ...
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 6 months ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...
CVIU
2006
166views more  CVIU 2006»
15 years 6 months ago
Non-parametric and light-field deformable models
Statistical shape-and-texture appearance models use image morphing to define a rich, compact representation of object appearance. They are useful in a variety of applications incl...
Chris Mario Christoudias, Louis-Philippe Morency, ...
IJAR
2008
93views more  IJAR 2008»
15 years 6 months ago
Prototype based fuzzy classification in clinical proteomics
Proteomic profiling based on mass spectrometry is an important tool for studies at the protein and peptide level in medicine and health care. Thereby, the identification of releva...
Frank-Michael Schleif, Thomas Villmann, Barbara Ha...