1690 search results - page 123 / 338 » Algorithmic Properties of Millstream Systems |
139
click to vote
ICAIL
2009
ACM
15 years 9 months ago
2009
ACM
We propose an analysis of the codified Law of France as a structured system. Fifty two legal codes are selected on the basis of explicit legal criteria and considered as vertices ...
129
click to vote
APCHI
2004
IEEE
15 years 8 months ago
2004
IEEE
Haiku is a data mining system which combines the best properties of human and machine discovery. An self organising visualisation system is coupled with a genetic algorithm to prov...
138
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper introduces a novel imaging system composed of an array of spherical mirrors and a single highresolution digital camera. We describe the mechanical design and constructi...
127
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to auto...
130
click to vote
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...