2465 search results - page 431 / 493 » An Adaptive Distributed System Based on Conditional Dependen... |
119
click to vote
POLICY
2001
Springer
15 years 5 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
94
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
120
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
Group technology (GT) is a useful way to increase productivity with high quality in cellular manufacturing systems (CMSs), in which cell formation (CF) is a key step in the GT phil...
ARCS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Vehicle handling and control is an essential aspect of intelligent driver assistance systems, a building block of the upcoming generation of "smart cars". A car...
126
click to vote
CVPR
2003
IEEE
16 years 2 months ago
2003
IEEE
Cast shadows produce troublesome effects for video surveillance systems, typically for object tracking from a fixed viewpoint, since it yields appearance variations of objects dep...