Sciweavers

3863 search results - page 501 / 773
» Function in Device Representation
Sort
View
VR
2003
IEEE
138views Virtual Reality» more  VR 2003»
15 years 12 months ago
Adaptive techniques for real-time haptic and visual simulation of bone dissection
Bone dissection is an important component of many surgical procedures. In this paper, we discuss adaptive techniques for providing real-time haptic and visual feedback during a vi...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
CAISE
2003
Springer
15 years 12 months ago
Aspect-Oriented Extension for Capturing Requirements in Use-Case Model
Early Aspects is a concept that applies an aspect-oriented (AO) paradigm to the requirements engineering. Aspect-Oriented Requirements Engineering (AORE) can be considered as an im...
Chanwit Kaewkasi, Wanchai Rivepiboon
ECAL
2003
Springer
15 years 12 months ago
Visualizing Evolutionary Dynamics of Self-Replicators Using Graph-Based Genealogy
We present a general method for evaluating and visualizing evolutionary dynamics of self-replicators using a graph-based representation for genealogy. Through a transformation from...
Chris Salzberg, Antony Antony, Hiroki Sayama
FOSSACS
2003
Springer
15 years 12 months ago
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
Michael Abbott, Thorsten Altenkirch, Neil Ghani
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 12 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner