Sciweavers

1940 search results - page 176 / 388
» The Dynamic Logic of Permission
Sort
View
ECAI
2000
Springer
15 years 11 months ago
Intention Reconsideration in Theory and Practice
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
Simon Parsons, Ola Pettersson, Alessandro Saffiott...
EUSFLAT
2003
108views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Soft computing and control of district heating system
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...
Petr Dostál, Bronislav Chramcov, Jaroslav B...
OOPSLA
2005
Springer
16 years 3 days ago
Finding application errors and security flaws using PQL: a program query language
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
Michael C. Martin, V. Benjamin Livshits, Monica S....
DIALM
2003
ACM
113views Algorithms» more  DIALM 2003»
15 years 12 months ago
Multicast time maximization in energy constrained wireless networks
We consider the problem of maximizing the lifetime of a given multicast connection in a wireless network of energyconstrained (e.g. battery-operated) nodes, by choosing ideal tran...
Patrik Floréen, Petteri Kaski, Jukka Kohone...
ICIP
2001
IEEE
16 years 8 months ago
Adaptive video background modeling using color and depth
Copyright 2001 IEEE. Published in the 2001 International Conference on Image Processing (ICIP-2001), October 7-10, 2001, Thessaloniki, Greece. Personal use of this material is per...
Gaile G. Gordon, John Woodfill, Michael Harville