7109 search results - page 198 / 1422 » Process Algebra with Combinators |
140
click to vote
IFL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
156
Voted
VISUALIZATION
2002
IEEE
15 years 8 months ago
2002
IEEE
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...
144
click to vote
TSD
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper suggests a novel representation for documents that is intended to improve precision. This representation is generated by combining two central techniques: Rand...
97
Voted
DATE
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Optimizing combinations of placements of parts, known as markers, is an important preparatory step in order-based industrial production of clothes. Given a work order in the form ...