698 search results - page 31 / 140 » Fast functional simulation using branching programs |
135
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different s...
213
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
115
click to vote
MASCOTS
2003
15 years 2 months ago
2003
In this paper, we present a scheme for minimizing packet loss in OSPF networks by optimizing link weights using Online Simulation. We have chosen packet loss rate in the network a...