Sciweavers

1412 search results - page 50 / 283
» types 2004
Sort
View
KES
2004
Springer
14 years 2 months ago
Epistemic Logic and Planning
Artificial Intelligence algorithms can be divided into two groups according to the type of problems they solve. Knowledge-intensive domains contain explicit knowledge, whereas know...
Shahin Maghsoudi, Ian Watson
OOPSLA
2004
Springer
14 years 2 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek
CCR
2004
79views more  CCR 2004»
13 years 8 months ago
A case for run-time adaptation in packet processing systems
Most packet processing applications receive and process multiple types of packets. Today, the processors available within packet processing systems are allocated to packet types a...
Ravi Kokku, Taylor L. Riché, Aaron R. Kunze...
CCCG
2004
13 years 10 months ago
Three-dimensional 1-bend graph drawings
We consider three-dimensional grid-drawings of graphs with at most one bend per edge. Under the additional requirement that the vertices be collinear, we prove that the minimum vo...
Pat Morin, David R. Wood
FLOPS
2004
Springer
14 years 2 months ago
Relaxing the Value Restriction
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...
Jacques Garrigue