4401 search results - page 46 / 881 » Computing with Default Logic |
ISCC
2007
IEEE
14 years 3 months ago
2007
IEEE
Bluetooth’s default ARQ scheme is not well suited to real-time video streaming, resulting in missed display and decode deadlines. Therefore, adaptive ARQ combined with a deadline...
IFL
2005
Springer
14 years 2 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
IJCAI
1997
13 years 10 months ago
1997
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
AAAI
1990
13 years 9 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
TCS
2008
13 years 8 months ago
2008
Reversible computing is a paradigm where computing models are so defined that they reflect physical reversibility, one of the fundamental microscopic physical property of Nature. ...