157 search results - page 21 / 32 » Incremental Compilation-to-SAT Procedures |
95
Voted
MOBIHOC
2006
ACM
15 years 9 months ago
2006
ACM
We consider the problem of designing distributed mechanisms for joint congestion control and resource allocation in spatial-reuse TDMA wireless networks. The design problem is pos...
108
click to vote
AIME
2009
Springer
15 years 4 months ago
2009
Springer
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...
IJCNN
2007
IEEE
15 years 4 months ago
2007
IEEE
— Using the classical Parzen window estimate as the target function, the kernel density estimation is formulated as a regression problem and the orthogonal forward regression tec...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
73
Voted
ECML
2007
Springer
15 years 3 months ago
2007
Springer
We introduce a modified Kalman filter that performs robust, real-time outlier detection, without the need for manual parameter tuning by the user. Systems that rely on high quali...