2490 search results - page 269 / 498 » Complexity of Contextual Reasoning |
162
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
145
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
142
Voted
VTC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract: In this paper, we study concatenated coding for MIMOOFDM systems. The proposed concatenated system achieves full spatial and frequency diversity at much lower complexity ...
133
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
142
Voted
MM
2006
ACM
15 years 11 months ago
2006
ACM
Effective usage of multimedia digital libraries has to deal with the problem of building efficient content annotation and retrieval tools. MOM (Multimedia Ontology Manager) is a ...