Sciweavers

1115 search results - page 194 / 223
» Active Graph Cuts
Sort
View
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
13 years 12 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
DAC
1995
ACM
13 years 11 months ago
Register Allocation and Binding for Low Power
This paper describes a technique for calculating the switching activity of a set of registers shared by di erent data values. Based on the assumption that the joint pdf (probabili...
Jui-Ming Chang, Massoud Pedram
SPDP
1991
IEEE
13 years 11 months ago
Asynchronous parallel search by the parallel genetic algorithm
The parallel genetic algorithm (PGA) is a prototype of a new kind of a distributed algorithm. It is based on a parallel search by individuals all of which have the complete proble...
Heinz Mühlenbein
ECAI
2008
Springer
13 years 9 months ago
Learning Functional Object-Categories from a Relational Spatio-Temporal Representation
Abstract. We propose a framework that learns functional objectes from spatio-temporal data sets such as those abstracted from video. The data is represented as one activity graph t...
Muralikrishna Sridhar, Anthony G. Cohn, David C. H...
WSC
2004
13 years 9 months ago
The Potential Coupling Interface: Metadata for Model Coupling
Model coupling is a nontrivial task that is not adequately supported in existing frameworks. Our long term goal is to support the fast-prototyping of model couplings, enabling sci...
Tom Bulatewicz, Janice E. Cuny, Maureen Warman