4745 search results - page 588 / 949 » Discretization: An Enabling Technique |
203
click to vote
COMCOM
2008
15 years 7 months ago
2008
The widespread availability of devices with multiple wireless interfaces and the abundance of heterogeneous positioning techniques open new market potentials for Location Based Se...
182
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
203
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This chapter describes Aneka-Federation, a decentralized and distributed system that combines enterprise Clouds, overlay networking, and structured peer-to-peer techniques to crea...
213
click to vote
IEE
2008
15 years 7 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
192
Voted
DKE
2006
15 years 7 months ago
2006
Recursive queries are quite important in the context of XML databases. In addition, several recent papers have investigated a relational approach to store XML data and there is gr...