8228 search results - page 1420 / 1646 » Structural Logical Relations |
93
Voted
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
93
Voted
EENERGY
2010
15 years 4 months ago
2010
Sleeping is an important method to reduce energy consumption in many information and communication systems. In this paper we focus on a typical server under dynamic load, where en...
112
Voted
SIGIR
2010
ACM
15 years 4 months ago
2010
ACM
Ranking search results is a fundamental problem in information retrieval. In this paper we explore whether the use of proximity and phrase information can improve web retrieval ac...
103
Voted
DASFAA
2009
IEEE
15 years 4 months ago
2009
IEEE
Graph-structured databases and related problems such as reachability query processing have been increasingly relevant to many applications such as XML databases, biological databas...
86
Voted
HT
2007
ACM
15 years 4 months ago
2007
ACM
Authorship entails the constrained selection or generation of media and the organization and layout of that media in a larger structure. But authorship is more than just selection...