Sciweavers

1015 search results - page 59 / 203
» New Area Management Method Based on
Sort
View
AAAI
2008
13 years 10 months ago
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation
Abductive diagnosis is an important method to identify explanations for a given set of observations. Unfortunately, most of the algorithmic problems in this area are intractable. ...
Georg Gottlob, Reinhard Pichler, Fang Wei
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
14 years 6 days 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...
GECCO
2009
Springer
193views Optimization» more  GECCO 2009»
14 years 29 days ago
Optimization of dynamic memory managers for embedded systems using grammatical evolution
New portable consumer embedded devices must execute multimedia applications (e.g., 3D games, video players and signal processing software, etc.) that demand extensive memory acces...
José L. Risco-Martín, David Atienza,...
CAIP
2009
Springer
220views Image Analysis» more  CAIP 2009»
14 years 2 months ago
Cooperative Stereo Matching with Color-Based Adaptive Local Support
Color processing imposes a new constraint on stereo vision algorithms: The assumption of constant color on object surfaces used to align local correlation windows with object bound...
Roland Brockers
GECCO
2010
Springer
170views Optimization» more  GECCO 2010»
14 years 1 months ago
Improving reliability of embedded systems through dynamic memory manager optimization using grammatical evolution
Technology scaling has offered advantages to embedded systems, such as increased performance, more available memory and reduced energy consumption. However, scaling also brings a...
José Manuel Colmenar, José L. Risco-...