1517 search results - page 271 / 304 » New Approach To A Class Of Matrices |
114
click to vote
LORI
2009
Springer
15 years 8 months ago
2009
Springer
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...
140
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— Social robots face the fundamental challenge of detecting and adapting their behavior to the current social mood. For example, robots that assist teachers in early education mu...
105
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
108
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
109
click to vote
CIVR
2007
Springer
15 years 7 months ago
2007
Springer
In the past, quantized local descriptors have been shown to be a good base for the representation of images, that can be applied to a wide range of tasks. However, current approac...