10916 search results - page 73 / 2184 » On Constructive Connectives and Systems |
KCAP
2003
ACM
15 years 3 months ago
2003
ACM
The explosive growth in the biomedical literature has made it difficult for researchers to keep up with advancements, even in their own narrow specializations. In addition, this c...
AAMAS
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
CSLP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper is concerned with the question of quantifying gradient degrees of acceptability by introducing the notion of Density in the context of constructional constrain...
DAGSTUHL
2001
14 years 11 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...