5216 search results - page 848 / 1044 » Planning as Model Checking |
168
click to vote
ECAL
2007
Springer
16 years 18 days ago
2007
Springer
Both reactive and deliberative qualities are essential for a good action selection mechanism. We present a model that embodies a hybrid of two very different neural network archit...
177
click to vote
3DPVT
2006
IEEE
16 years 15 days ago
2006
IEEE
Building footprints have been shown to be extremely useful in urban planning, infrastructure development, and roof modeling. Current methods for creating these footprints are ofte...
158
click to vote
CSFW
2006
IEEE
16 years 15 days ago
2006
IEEE
Role-Based Access Control (RBAC) is a widely used model for expressing access control policies. In large organizations, the RBAC policy may be collectively managed by many adminis...
158
click to vote
GLOBECOM
2006
IEEE
16 years 14 days ago
2006
IEEE
We investigate the statistical properties of both originated and terminated call arrivals in sets of real GSM telephone traffic data (TIM, Italy), emphasizing results obtained ...
154
click to vote
ICRA
2006
IEEE
16 years 14 days ago
2006
IEEE
— Autonomous robot systems have to manage their energy wisely in order to complete their missions. Typical approaches seek to conserve energy by energy-efficient motion or senso...