Sciweavers

2877 search results - page 341 / 576
» The Complexity of Planarity Testing
Sort
View
WSCG
2003
164views more  WSCG 2003»
15 years 8 months ago
Refinement and Hierarchical Coarsening Schemes for Triangulated Surfaces
We present a refinement and a coarsening (also simplification or decimation) algorithm for the adaptive representation of bivariate functions. The algorithms have proved to be eff...
José P. Suárez, Angel Plaza
GECCO
2008
Springer
158views Optimization» more  GECCO 2008»
15 years 7 months ago
Structure and parameter estimation for cell systems biology models
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
Francisco José Romero-Campero, Hongqing Cao...
AVSS
2007
IEEE
15 years 6 months ago
A particle filter based fusion framework for video-radio tracking in smart spaces
One of the main issues for Ambient Intelligence (AmI) systems is to continuously localize the user and to detect his/her identity in order to provide dedicated services. A video-r...
Alessio Dore, Andrea F. Cattoni, Carlo S. Regazzon...
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 6 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
169
Voted
IVC
2008
159views more  IVC 2008»
15 years 6 months ago
Drums, curve descriptors and affine invariant region matching
In this paper we present a new physically motivated curve/region descriptor based on the solution of Helmholtz's equation. The descriptor we propose satisfies the six princip...
Marco Zuliani, Luca Bertelli, Charles S. Kenney, S...