Sciweavers

5499 search results - page 767 / 1100
» Generalized Rewrite Theories
Sort
View
ISER
2004
Springer
182views Robotics» more  ISER 2004»
16 years 26 days ago
Nonholonomic Modeling of Needle Steering
As a flexible needle with a bevel tip is pushed through soft tissue, the asymmetry of the tip causes the needle to bend. We propose that, by using nonholonomic kinematics, contro...
Robert J. Webster III, Noah J. Cowan, Gregory S. C...
KR
2004
Springer
16 years 26 days ago
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
Yves Martin, Iman Narasamdya, Michael Thielscher
MFCS
2004
Springer
16 years 26 days ago
Complexity of Decision Problems for Simple Regular Expressions
We study the complexity of the inclusion, equivalence, and intersection problem for simple regular expressions arising in practical XML schemas. These basically consist of the conc...
Wim Martens, Frank Neven, Thomas Schwentick
161
Voted
CHI
2010
ACM
16 years 25 days ago
Motivations to participate in online communities
A consistent theoretical and practical challenge in the design of socio-technical systems is that of motivating users to participate in and contribute to them. This study examines...
Cliff Lampe, Rick Wash, Alcides Velasquez, Elif Oz...
SIGCSE
2010
ACM
145views Education» more  SIGCSE 2010»
16 years 25 days ago
How do computing faculty adopt curriculum innovations?: the story from instructors
This paper presents the findings of an exploratory, qualitative study revealing computing instructors’ experience in adopting curriculum innovations. We interviewed eight instru...
Lijun Ni, Tom McKlin, Mark Guzdial