5863 search results - page 788 / 1173 » Calculating Functional Programs |
205
click to vote
EUROPAR
2005
Springer
16 years 10 days ago
2005
Springer
A style for programming problems from matrix algebra is developed with a familiar example and new tools, yielding high performance with a couple of surprising exceptions. The under...
179
click to vote
WEA
2005
Springer
16 years 8 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
194
click to vote
MEMOCODE
2003
IEEE
16 years 2 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
209
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
194
click to vote
ICVS
2003
Springer
16 years 5 hour ago
2003
Springer
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...