Sciweavers

3362 search results - page 326 / 673
» A definition of subjective possibility
Sort
View
SAC
2010
ACM
16 years 1 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
SAC
2010
ACM
16 years 1 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
SAC
2010
ACM
16 years 1 months ago
A deidealisation semantics for KAOS
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
Richard Banach
SI3D
2010
ACM
16 years 1 months ago
Learning skeletons for shape and pose
In this paper a method for estimating a rigid skeleton, including skinning weights, skeleton connectivity, and joint positions, given a sparse set of example poses is presented. I...
Nils Hasler, Thorsten Thormählen, Bodo Rosenh...
TEI
2010
ACM
114views Hardware» more  TEI 2010»
16 years 1 months ago
valeo: alienation gesture-enhanced tactile pain logging
In current healthcare research, pain logs are an important means to measure the impact of medication and to detect pain patterns. However, the entry of textual pain data may be ne...
Matthias Löwe, Omer Yosha, Alexander Krause, ...