Sciweavers

783 search results - page 64 / 157
» Bridging the Gaps
Sort
View
TFS
2008
96views more  TFS 2008»
13 years 10 months ago
Fuzzy Qualitative Robot Kinematics
We propose a fuzzy qualitative (FQ) version of robot kinematics with the goal of bridging the gap between symbolic or qualitative functions and numerical sensing and control tasks...
Honghai Liu, David J. Brown, George Macleod Coghil...
CSCW
2004
ACM
13 years 10 months ago
Consistency Control for Synchronous and Asynchronous Collaboration Based on Shared Objects and Activities
We describe a new collaborative technology that bridges the gap between ad hoc collaboration in email and more formal collaboration in structured shared workspaces. Our approach is...
Jürgen Vogel, Werner Geyer, Li-Te Cheng, Mich...
MICCAI
2010
Springer
13 years 9 months ago
Simultaneous Geometric - Iconic Registration
In this paper, we introduce a novel approach to bridge the gap between the landmark-based and the iconic-based voxel-wise registration methods. The registration problem is formulat...
Aristeidis Sotiras, Yangming Ou, Ben Glocker, Chri...
ICWL
2010
Springer
13 years 8 months ago
Supporting Flexible Competency Frameworks
Since Bloom's initial work on competencies in 1956, various competency systems have been designed and used to assess students' competencies. Different pedagogical researc...
Erica Melis, Arndt Faulhaber, Ahmad Salim Doost, C...
TACAS
2010
Springer
151views Algorithms» more  TACAS 2010»
13 years 8 months ago
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
K. Rustan M. Leino, Philipp Rümmer