3819 search results - page 238 / 764 » Simple Easy Terms |
322
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
236
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Data gathering is a major function of many applications in wireless sensor networks (WSNs). The most important issue in designing a data gathering algorithm is how to save energ...
175
click to vote
ICFCA
2007
Springer
16 years 1 months ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
170
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Typically, users submit very simple search queries to digital document data collections. Often these queries can result in extremely broad answers or answers in which document rel...
219
click to vote
CPM
1995
Springer
15 years 10 months ago
1995
Springer
We consider strings which are succinctly described. The description is in terms of straight-line programs in which the constants are symbols and the only operation is the concaten...