7335 search results - page 1299 / 1467 » Scene Based Reasoning |
149
click to vote
TSE
2008
15 years 6 months ago
2008
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...
175
click to vote
TSE
2008
15 years 6 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
207
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
ACT Supporting mobility in a multi hop wireless environment like the MANET still remains a point of research, especially in the context of time-constrained applications. The incapa...
158
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
150
click to vote
TSP
2008
15 years 6 months ago
2008
We consider two automatic repeat request (ARQ) schemes based on subcarrier assignment in orthogonal frequency-division multiplexing (OFDM)-based systems: single ARQ subcarrier assi...