Sciweavers

680 search results - page 19 / 136
» Complexity of Strict Implication
Sort
View
TWC
2008
83views more  TWC 2008»
13 years 7 months ago
Opportunistic cooperative diversity with feedback and cheap radios
Practical cooperative diversity protocols often rely on low-cost radios that treat multiple in-band signals as noise and thus require strictly orthogonal transmissions. We analyze ...
Aggelos Bletsas, Ashish Khisti, Moe Z. Win
WSC
2008
13 years 10 months ago
Using Little's Law to estimate cycle time and cost
Well designed models can provide timely answers and summarize understanding of complex systems. Simple use cases can illustrate the applicability and inferences possible with even...
Kristin Rust
ICFCA
2004
Springer
14 years 1 months ago
Background Knowledge in Concept Graphs
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
Frithjof Dau
CORR
2004
Springer
177views Education» more  CORR 2004»
13 years 7 months ago
Typestate Checking and Regular Graph Constraints
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
Viktor Kuncak, Martin C. Rinard
AIL
1998
65views more  AIL 1998»
13 years 7 months ago
An Integrated View on Rules and Principles
In the law, it is generally acknowledged that there are intuitive differences between reasoning with rules and reasoning with principles. For instance, a rule seems to lead directl...
Bart Verheij, Jaap Hage, H. Jaap van den Herik