10038 search results - page 1574 / 2008 » Model Checking for Managers |
160
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
In hierarchical distributed systems, shared data access can be controlled by assigning user groups single cryptographic keys that allow high level users derive low level keys, but...
191
click to vote
FBIT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
182
click to vote
FBIT
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper describes our first experiments on Reinforcement Learning to steer a real robot car. The applied method, Neural Fitted Q Iteration (NFQ) is purely data-driven based on ...
154
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
An effective thermal management scheme, called active bank switching, for temperature control in the register file of a microprocessor is presented. The idea is to divide the phys...
183
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
A qualitative study was conducted to explore how subjects use social networking sites and instant messenger to engage in interpersonal relationships. The results were used to deve...