3573 search results - page 329 / 715 » Reasoning about Codata |
117
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
— I/Q imbalance has been identified as one of the most serious concerns in the practical implementation of the direct conversion receiver architecture. Facing the performance-de...
152
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
140
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
131
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
— We design a Mobility-aware DAta management (MoDA) scheme for mobile ad hoc networks (MANETs) composed by mobile nodes such as urban pedestrians and vehicles. By fully utilizing...
146
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
In this work, we introduce a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced i...