4880 search results - page 735 / 976 » Manuals as Structured Programs |
156
click to vote
GLOBECOM
2007
IEEE
16 years 29 days ago
2007
IEEE
— In this paper we propose Cognitive Medium Access (CMA), a protocol aimed at improving coexistence with a set of independently evolving WLAN bands. A time-slotted physical layer...
182
click to vote
ICMCS
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents a max margin framework on image annotation and multimodal image retrieval as a structured prediction model. Following the max margin approach the image retriev...
172
click to vote
CONCUR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
167
click to vote
CP
2007
Springer
16 years 24 days ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
157
click to vote
FORMATS
2007
Springer
16 years 24 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...