Sciweavers

181 search results - page 2 / 37
» Deriving Specifications for Systems That Are Connected to th...
Sort
View
SIGGRAPH
1994
ACM
13 years 9 months ago
Evolving virtual creatures
This paper describes a novel system for creating virtual creatures that move and behave in simulated three-dimensional physical worlds. The morphologies of creatures and the neura...
Karl Sims
ASE
2008
135views more  ASE 2008»
13 years 5 months ago
Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
IDEAS
2007
IEEE
99views Database» more  IDEAS 2007»
13 years 11 months ago
Implementing Physical Hyperlinks for Mobile Applications Using RFID Tags
Hyperlinks are a well understood and widely used concept in many applications. Particularly the Web has promoted the concept of “clickable” links to users. Typically, hyperlin...
Joachim Schwieren, Gottfried Vossen
ACMDIS
1997
ACM
13 years 9 months ago
Triangles: Design of a Physical/Digital Construction Kit
This paper presents the design of a new form of computer interface that uses physical objects to embody digital information, providing a means for interacting with data. Triangles...
Matthew G. Gorbet, Maggie Orth
AI
1999
Springer
13 years 5 months ago
Topological Inference of Teleology: Deriving Function from Structure via Evidential Reasoning
Reasoning about the physical world is a central human cognitive activity. One aspect of such reasoning is the inference of function from the structure of the artifacts one encount...
John O. Everett