Sciweavers

3134 search results - page 468 / 627
» Computing full disjunctions
Sort
View
110
Voted
HIPC
2007
Springer
15 years 7 months ago
Channel Adaptive Real-Time MAC Protocols for a Two-Level Heterogeneous Wireless Network
Abstract. Wireless technology is becoming an attractive mode of communication for real-time applications in typical settings such as in an industrial setup because of the tremendou...
Kavitha Balasubramanian, G. Sudha Anil Kumar, G. M...
123
Voted
ICALP
2007
Springer
15 years 7 months ago
Universal Algebra and Hardness Results for Constraint Satisfaction Problems
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...
Benoit Larose, Pascal Tesson
102
Voted
ICCS
2007
Springer
15 years 7 months ago
Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web
Abstract. Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, whi...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...
125
Voted
ICCSA
2007
Springer
15 years 7 months ago
3D Spatial Operations in Geo DBMS Environment for 3D GIS
Next generation of GIS software should be able to manipulate and analyse complex situations of real world phenomena. One of the desired components in such software or system is the...
Chen Tet-Khuan, Alias Abdul-Rahman, Sisi Zlatanova
103
Voted
ICS
2007
Tsinghua U.
15 years 7 months ago
Sensitivity analysis for automatic parallelization on multi-cores
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...
Silvius Rus, Maikel Pennings, Lawrence Rauchwerger