Sciweavers

65 search results - page 12 / 13
» jirs 2006
Sort
View
ICPR
2006
IEEE
14 years 6 months ago
Fast Synthesis of Dynamic Colour Textures
Textural appearance of many real word materials is not static but shows progress in time. If such a progress is spatially and temporally homogeneous these materials can be represe...
Jirí Filip, Michal Haindl, Dmitry Chetverik...
MICCAI
2006
Springer
14 years 6 months ago
Improving Segmentation of the Left Ventricle Using a Two-Component Statistical Model
Abstract. Quality of segmentations obtained by 3D Active Appearance Models (AAMs) crucially depends on underlying training data. MRI heart data, however, often come noisy, incomple...
Jirí Hladuvka, Katja Bühler, Sebastian...
FGCS
2006
57views more  FGCS 2006»
13 years 5 months ago
On a solvability of contact problems with visco-plastic friction in the thermo-visco-plastic Bingham rheology
This paper deals with the solvability of contact problems with a local visco-plastic friction in the thermo-visco-plastic Bingham rheology. The generalized case of bodies of arbit...
Jirí Nedoma
CIA
2006
Springer
13 years 9 months ago
Iterative Query-Based Approach to Efficient Task Decomposition and Resource Allocation
Intelligent coordination in complex multi-agent environments requires sophisticated mechanisms for suboptimal task decomposition and efficient resource allocation provided by the t...
Michal Pechoucek, Ondrej Lerch, Jirí B&iacu...
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
13 years 9 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba