Sciweavers

13841 search results - page 2355 / 2769
» Algorithms and Constraint Programming
Sort
View
121
Voted
KBSE
1997
IEEE
15 years 9 months ago
Precise Specification and Automatic Application of Design Patterns
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
Amnon H. Eden, Amiram Yehudai, Joseph Gil
121
Voted
CHI
1997
ACM
15 years 9 months ago
Using Music as a Communication Medium
Music is a rich communication medium, and there are some similarities between the job of a music composer and that of an HCI designer (although their objectives may be different)....
James L. Alty, Dimitrios I. Rigas, Paul Vickers
ASAP
1996
IEEE
90views Hardware» more  ASAP 1996»
15 years 9 months ago
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
Florent de Dinechin, Sophie Robert
RTSS
1996
IEEE
15 years 9 months ago
A framework for implementing objects and scheduling tasks in lock-free real-time systems
We present an integrated framework for developing realtime systems in which lock-free algorithms are employed to implement shared objects. There are two key objectives of our work...
James H. Anderson, Srikanth Ramamurthy
ICRA
1993
IEEE
131views Robotics» more  ICRA 1993»
15 years 9 months ago
Exploration Strategies for Mobile Robots
The problem of programming a robot t o carry out a systematic exploration of its environment using realistic sensors is considered in this paper. The robot is modelled as a single...
Camillo J. Taylor, David J. Kriegman
« Prev « First page 2355 / 2769 Last » Next »