1071 search results - page 117 / 215 » Solving Geometric Constraint Systems |
UTP
2010
14 years 7 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
100
click to vote
AVSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Visually track several moving persons engaged in close interactions is known to be a very hard problem, though 3-D approaches based on stereo vision and plan-view maps offer much ...
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Memory-related activity is one of the major sources of energy consumption in embedded systems. Many types of memories used in embedded systems allow multiple operating modes (e.g....
ENTCS
2008
14 years 10 months ago
2008
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
CP
2006
Springer
15 years 1 months ago
2006
Springer
In previous work, a new approach called Open CSP (OCSP) was defined as a way of integrate information gathering and problem solving. Instead of collecting all variable values befor...