Sciweavers

2119 search results - page 193 / 424
» Structure-Preserving Model Reduction
Sort
View
111
Voted
IEEEICCI
2007
IEEE
15 years 9 months ago
An Image Association Model of the Brodmann Areas
The ability to associate images is the basis for learning relationships involving vision, hearing, tactile sensation, and kinetic motion. A new architecture is described that has ...
Douglas S. Greer
WACV
2005
IEEE
15 years 8 months ago
Isomap and Nonparametric Models of Image Deformation
Isomap is an exemplar of a set of data driven nonlinear dimensionality reduction techniques that have shown promise for the analysis of images and video. These methods parameteriz...
Richard Souvenir, Robert Pless
159
Voted
CONCUR
1997
Springer
15 years 7 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
IJCAI
2007
15 years 4 months ago
On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem
This paper investigates how to represent and solve multiagent task scheduling as a Distributed Constraint Optimization Problem (DCOP). Recently multiagent researchers have adopted...
Evan Sultanik, Pragnesh Jay Modi, William C. Regli
DEDS
2006
111views more  DEDS 2006»
15 years 3 months ago
Model Checking of Time Petri Nets Using the State Class Timed Automaton
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...
Didier Lime, Olivier H. Roux