Sciweavers

706 search results - page 47 / 142
» View-Based Consistency and Its Implementation
Sort
View
CGI
2006
IEEE
14 years 3 months ago
A Feature-Preserving and Volume-Constrained Flow for Fairing Irregular Meshes
In this paper, we introduce a novel approach to denoise meshes taking the balanced flow equation as the theoretical foundation.The underlying model consists of an anisotropic di...
Chunxia Xiao, Shu Liu, Qunsheng Peng, A. Robin For...
DASFAA
2006
IEEE
109views Database» more  DASFAA 2006»
14 years 3 months ago
Assessing the Completeness of Sensor Data
In this paper we present a quality model highlighting the completeness of sensor data with respect to its application. The model allows consistent handling of information loss as d...
Jit Biswas, Felix Naumann, Qiang Qiu
IROS
2006
IEEE
118views Robotics» more  IROS 2006»
14 years 3 months ago
Three-Layer Model for Generation and Recognition of Attention-Drawing Behavior
- This paper presents a three-layer model for generation and recognition of attention-drawing behavior. The model enables a robot to recognize people’s attention-drawing behavior...
Osamu Sugiyama, Takayuki Kanda, Michita Imai, Hiro...
ACL2
2006
ACM
14 years 3 months ago
Double rewriting for equivalential reasoning in ACL2
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
Matt Kaufmann, J. Strother Moore
ATAL
2005
Springer
14 years 3 months ago
Coordination and composition in multi-agent systems
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
Mehdi Dastani, Farhad Arbab, Frank S. de Boer