Sciweavers

1805 search results - page 99 / 361
» Modelling SIGNAL in Interaction Categories
Sort
View
100
Voted
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
15 years 4 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
CASES
2003
ACM
15 years 3 months ago
Vectorizing for a SIMdD DSP architecture
The Single Instruction Multiple Data (SIMD) model for fine-grained parallelism was recently extended to support SIMD operations on disjoint vector elements. In this paper we demon...
Dorit Naishlos, Marina Biberstein, Shay Ben-David,...
SGP
2004
15 years 15 days ago
Symmetry Descriptors and 3D Shape Matching
In this paper, we present the Symmetry Descriptors of a 3D model. This is a collection of spherical functions that describes the measure of a model's rotational and reflectiv...
Michael M. Kazhdan, Thomas A. Funkhouser, Szymon R...
CALCO
2009
Springer
158views Mathematics» more  CALCO 2009»
15 years 4 months ago
Coalgebraic Symbolic Semantics
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
Filippo Bonchi, Ugo Montanari
CHI
2004
ACM
15 years 10 months ago
Designing interfaces that influence group processes
The goal of this research is to build and evaluate collaborative tools that persuade behavior change over a group of individuals. Preliminary work in this area is presented and fu...
Joan Morris DiMicco