Sciweavers

422 search results - page 16 / 85
» On Modal Refinement and Consistency
Sort
View
ACSD
2010
IEEE
215views Hardware» more  ACSD 2010»
14 years 12 months ago
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
Mike Gemunde, Jens Brandt, Klaus Schneider
130
Voted
IMR
2004
Springer
15 years 7 months ago
Parallel Mesh Refinement Without Communication
This paper presents a technique for the adaptive refinement of tetrahedral meshes. What makes it unique is that no neighbor information is required for the refined mesh to be co...
Philippe P. Pébay, David C. Thompson
MM
2010
ACM
177views Multimedia» more  MM 2010»
15 years 2 months ago
Image tag refinement towards low-rank, content-tag prior and error sparsity
The vast user-provided image tags on the popular photo sharing websites may greatly facilitate image retrieval and management. However, these tags are often imprecise and/or incom...
Guangyu Zhu, Shuicheng Yan, Yi Ma
ICCV
2007
IEEE
16 years 3 months ago
Consistent Correspondence between Arbitrary Manifold Surfaces
We propose a novel framework for consistent correspondence between arbitrary manifold meshes. Different from most existing methods, our approach directly maps the connectivity of ...
Huai-yu Wu, Chunhong Pan, Qing Yang, Songde Ma
GISCIENCE
2010
Springer
216views GIS» more  GISCIENCE 2010»
15 years 3 months ago
Cognitive Invariants of Geographic Event Conceptualization: What Matters and What Refines?
Behavioral experiments addressing the conceptualization of geographic events are few and far between. Our research seeks to address this deficiency by developing an experimental fr...
Alexander Klippel, Rui Li, Frank Hardisty, Chris W...