11436 search results - page 2178 / 2288 » Modeling Real Reasoning |
120
click to vote
AINA
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper, we propose an application-driven MAC-layer buffer management framework based on a novel Active Dropping (AD) mechanism for real-time video streaming in IEEE 802....
146
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
147
click to vote
MOBIQUITOUS
2007
IEEE
15 years 9 months ago
2007
IEEE
—Handheld devices have become sufficiently powerful that it is easy to create, disseminate, and access digital content (e.g., photos, videos) using them. The volume of such cont...
133
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
115
click to vote
APPROX
2007
Springer
15 years 9 months ago
2007
Springer
Consider a scenario where one desires to simulate the execution of some graph algorithm on random input graphs of huge, perhaps even exponential size. Sampling and storing these h...