Sciweavers

2080 search results - page 37 / 416
» Collections, Cardinalities, and Relations
Sort
View
JCT
2007
107views more  JCT 2007»
15 years 5 months ago
Vertex-minors, monadic second-order logic, and a conjecture by Seese
We prove that one can express the vertex-minor relation on finite undirected graphs by formulas of monadic second-order logic (with no edge set quantification) extended with a p...
Bruno Courcelle, Sang-il Oum
KI
2008
Springer
15 years 6 months ago
Collectives and How They Move: A Tale of Two Classifications
Abstract. Collective phenomena and their associated movement patterns are ubiquitous in everyday life. However, even though we need to be able to reason about these phenomena, espe...
Zena Wood, Antony Galton
ICFP
2002
ACM
16 years 6 months ago
An experimental study of renewal-older-first garbage collection
Generational collection has improved the efficiency of garbage collection in fast-allocating programs by focusing on collecting young garbage, but has done little to reduce the co...
Lars Thomas Hansen, William D. Clinger
JHSN
2002
58views more  JHSN 2002»
15 years 5 months ago
Aggregation based information collection for mobile environments
: In the future, we are likely to see a tremendous rise in mobile computing and communications as ubiquitous applications incorporate multimedia information. These mobile multimedi...
Qi Han, Nalini Venkatasubramanian
CIKM
2009
Springer
15 years 7 months ago
Retrieval experiments using pseudo-desktop collections
Desktop search is an important part of personal information management (PIM). However, research in this area has been limited by the lack of shareable test collections, making cum...
Jinyoung Kim, W. Bruce Croft