1247 search results - page 108 / 250 » Reasoning about Function Objects |
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
Given a set of N multi-dimensional points, we study the computation of -quantiles according to a ranking function F, which is provided by the user at runtime. Specifically, F compu...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Many multi-agent systems seek to reconcile two apparently inconsistent constraints. The system’s overall objective is defined at a global level. However, the agents have only lo...
112
click to vote
HASKELL
2005
ACM
15 years 3 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
QNS
1996
14 years 11 months ago
1996
This paper suggests a systematic, orderly, process-based approach to stating software quality objectives and knowing if and when they have been achieved. We suggest that quality i...