9162 search results - page 1422 / 1833 » System and User Data Complexity |
174
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
170
Voted
MOBIHOC
2008
ACM
16 years 5 months ago
2008
ACM
Recent research shows that significant energy saving can be achieved in wireless sensor networks with a mobile base station that collects data from sensor nodes via short-range co...
183
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...
172
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
The availability of map interfaces and location-aware devices makes a growing amount of unstructured, geo-referenced information available on the Web. In particular, over twelve m...
176
Voted
CHI
2007
ACM
16 years 6 months ago
2007
ACM
This paper describes mechanisms for asynchronous collaboration in the context of information visualization, recasting visualizations as not just analytic tools, but social spaces....