Sciweavers

810 search results - page 89 / 162
» Continuous cartogram construction
Sort
View
JMIV
2006
100views more  JMIV 2006»
13 years 9 months ago
Mixed-State Auto-Models and Motion Texture Modeling
In image motion analysis as well as for several application fields like daily pluviometry data modeling, observations contain two components of different nature. A first part is ma...
Patrick Bouthemy, C. Hardouin, Gwenaëlle Piri...
ENTCS
2007
135views more  ENTCS 2007»
13 years 9 months ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer
FAC
2007
122views more  FAC 2007»
13 years 9 months ago
Formal techniques for performance analysis: blending SAN and PEPA
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
Jane Hillston, Leïla Kloul
SIAMSC
2008
133views more  SIAMSC 2008»
13 years 9 months ago
Numerical Variational Methods Applied to Cylinder Buckling
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
Jirí Horák, Gabriel J. Lord, Mark A....
BIB
2007
114views more  BIB 2007»
13 years 9 months ago
Frontiers of biomedical text mining: current progress
It is now almost15 years since the publication of the first paper on text mining in the genomics domain, and decades since the first paper on text mining in the medical domain. En...
Pierre Zweigenbaum, Dina Demner-Fushman, Hong Yu, ...