Sciweavers

974 search results - page 161 / 195
» scheduling 2010
Sort
View
130
Voted
EWSN
2010
Springer
15 years 5 months ago
On the Mechanisms and Effects of Calibrating RSSI Measurements for 802.15.4 Radios
Abstract. Wireless sensor network protocols and applications, including those used for localization, topology control, link scheduling, and link quality estimation, make extensive ...
Yin Chen, Andreas Terzis
127
Voted
PADL
2010
Springer
15 years 5 months ago
A Simple and Efficient Implementation of Concurrent Local Tabling
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
Rui Marques, Terrance Swift, José C. Cunha
114
Voted
AAAI
2010
15 years 5 months ago
Prioritization of Domain-Specific Web Information Extraction
It is often desirable to extract structured information from raw web pages for better information browsing, query answering, and pattern mining. Many such Information Extraction (...
Jian Huang, Cong Yu
130
Voted
ATAL
2010
Springer
15 years 4 months ago
Finding approximate competitive equilibria: efficient and fair course allocation
In the course allocation problem, a university administrator seeks to efficiently and fairly allocate schedules of over-demanded courses to students with heterogeneous preferences...
Abraham Othman, Tuomas Sandholm, Eric Budish
151
Voted
C3S2E
2010
ACM
15 years 4 months ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire