Sciweavers

4647 search results - page 374 / 930
» Composite Design Patterns
Sort
View
155
Voted
IJIS
2002
86views more  IJIS 2002»
15 years 3 months ago
Dynamics and control in component-based agent models
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
135
Voted
HYBRID
2010
Springer
15 years 1 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...
117
Voted
HCI
2009
15 years 1 months ago
ImproV: A System for Improvisational Construction of Video Processing Flow
ImproV is a video compositing system for live video. It uses a dataflow diagram to represent the video processing flow and allows performers to edit the diagrams even while the vid...
Atsutomo Kobayashi, Buntarou Shizuki, Jiro Tanaka
125
Voted
CVPR
2009
IEEE
16 years 1 months ago
A projector-camera setup for geometry-invariant frequency demultiplexing
Consider a projector-camera setup where a sinusoidal pattern is projected onto the scene, and an image of the objects imprinted with the pattern is captured by the camera. In this...
Daniel A. Vaquero, Matthew Turk, Ramesh Raskar, Ro...
132
Voted
ICFCA
2009
Springer
15 years 10 months ago
Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice
Formal concept analysis (FCA) is increasingly applied to data mining problems, essentially as a formal framework for mining reduced representations (bases) of target pattern famili...
Jaume Baixeries, Laszlo Szathmary, Petko Valtchev,...