2586 search results - page 366 / 518 » Automatic Abstraction for Congruences |
179
click to vote
PCI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...
151
click to vote
POLICY
2005
Springer
15 years 12 months ago
2005
Springer
Modern dynamic distributed information systems need access control policies to address controlling access to multiple resources that are distributed. The s may be considered as a ...
147
click to vote
SARA
2005
Springer
15 years 12 months ago
2005
Springer
Sets of features in Markov decision processes can play a critical role ximately representing value and in abstracting the state space. Selection of features is crucial to the succe...
147
click to vote
SCIA
2005
Springer
15 years 12 months ago
2005
Springer
One of the key requirements for a cognitive vision system to support reasoning is the possession of an effective mechanism to exploit context both for scene interpretation and for...
194
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...