Sciweavers

1100 search results - page 157 / 220
» From Goals to Aspects: Discovering Aspects from Requirements...
Sort
View
UML
2000
Springer
15 years 5 months ago
Using UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
Aynur Abdurazik, A. Jefferson Offutt
INTERACT
2003
15 years 3 months ago
Chemistry Education: A Tangible Interaction Approach
: This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...
Morten Fjeld, Patrick Juchli, Benedikt M. Voegtli
ICRA
2003
IEEE
158views Robotics» more  ICRA 2003»
15 years 7 months ago
Probabilistic cooperative localization and mapping in practice
In this paper we present a probabilistic framework for the reduction in the uncertainty of a moving robot pose during exploration by using a second robot to assist. A Monte Carlo ...
Ioannis M. Rekleitis, Gregory Dudek, Evangelos E. ...
CGF
2000
150views more  CGF 2000»
15 years 1 months ago
Perceptual Principles and Computer Graphics
Now that technology allows us to present photorealistic animations of scenically lit objects acting in realtime, the problem of computer graphics has changed from making displays ...
Jon May
COGSCI
2010
75views more  COGSCI 2010»
15 years 16 days ago
Five Reasons to Doubt the Existence of a Geometric Module
It is frequently claimed that the human mind is organized in a modular fashion, a hypothesis linked historically, though not inevitably, to the claim that many aspects of the huma...
Alexandra D. Twyman, Nora S. Newcombe