Sciweavers

22909 search results - page 203 / 4582
» A System of Interaction and Structure
Sort
View
AGENTS
2001
Springer
15 years 11 months ago
Improving the agent-oriented modeling process by roles
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 4 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
SIGGRAPH
2010
ACM
15 years 11 months ago
Apparent layer operations for the manipulation of deformable objects
We introduce layer operations for single-view 3D deformable object manipulation, in which the user can control the depth order of layered 3D objects resting on a flat ground with...
Takeo Igarashi, Jun Mitani
166
Voted
SIGCSE
1999
ACM
135views Education» more  SIGCSE 1999»
15 years 11 months ago
Testers and visualizers for teaching data structures
We present two tools to support the teaching of data structures and algorithms: Visualizers, which provide interactive visualizations of user-written data structures, and Testers,...
Ryan Shaun Baker, Michael Boilen, Michael T. Goodr...
211
Voted
CHI
2005
ACM
16 years 7 months ago
Profile before optimizing: a cognitive metrics approach to workload analysis
The Intelligence Analyst (IA) community will soon be the designated users of many new software tools. In the multitasking world of the IA, any one tool cannot be permitted to gree...
Wayne D. Gray, Michael J. Schoelles, Christopher W...