4211 search results - page 92 / 843 » A formal approach to MASQ |
109
Voted
DSD
2009
IEEE
15 years 7 months ago
2009
IEEE
Feature sizes in VLSI circuits are steadily shrinking. This results in increasing susceptibility to soft errors, e.g. due to environmental radiation. Precautions against soft error...
129
click to vote
MATES
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...
100
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
92
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— While the Partially Observable Markov Decision Process (POMDP) provides a formal framework for the problem of robot control under uncertainty, it typically assumes a known and ...
104
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...