1061 search results - page 108 / 213 » Co-authoring with structured annotations |
CIE
2007
Springer
15 years 5 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
AOSD
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
WEBI
2005
Springer
15 years 4 months ago
2005
Springer
In this paper, we present automated techniques for extracting metadata instance information by organizing and mining a set of news Web sites. We develop algorithms that detect and...
CIVR
2004
Springer
15 years 4 months ago
2004
Springer
Most image retrieval systems only allow a fragment of text or an example image as a query. Most users have more complex information needs that are not easily expressed in either of...
BTW
2003
Springer
15 years 4 months ago
2003
Springer
Abstract: Query languages for XML such as XPath or XQuery support Boolean retrieval where a query result is a (possibly restructured) subset of XML elements or entire documents tha...