2625 search results - page 367 / 525 » The development of the Emerald programming language |
209
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We develop a generic framework for deriving linear-size problem kernels for NP-hard problems on planar graphs. We demonstrate the usefulness of our framework in several c...
165
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
A data tree is a tree where each node has a label from a finite set, and a data value from a possibly infinite set. We consider data trees whose depth is bounded beforehand. By d...
170
click to vote
ICLP
2007
Springer
16 years 18 days ago
2007
Springer
This article describes the experiences developing a Semantic Web application entirely in Prolog. The application, a demonstrator that provides access to multiple art collections an...
137
click to vote
VMCAI
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
153
click to vote
INFOCOM
2006
IEEE
16 years 14 days ago
2006
IEEE
— We discuss the evolution of teleconferencing and networked visualization applications to support 3-dimensional display technologies. The implications of a continuation of Moore...