5022 search results - page 673 / 1005 » Data structures and problem solving using Java |
177
click to vote
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
Cloud enabled systems have become a crucial component to efficiently process and analyze massive amounts of data. One of the key data processing and analysis operations is the Sim...
145
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
119
Voted
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— We introduce a low-complexity distributed slotted MAC protocol that can support all feasible arrival rates in a wireless backhaul network (WBN). For arbitrary wireless networks...
159
Voted
STEP
2003
IEEE
15 years 8 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
109
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...