3342 search results - page 411 / 669 » Automating Abstract Interpretation |
134
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
109
click to vote
AAMAS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract – Despite increasing deployment of agent technologies in several business and industry domains, user confidence in fully automated agent driven applications is noticeab...
CL
2006
Springer
15 years 3 months ago
2006
Springer
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimization,tracegeneration,andexperimentationw...
136
click to vote
ITSSA
2006
15 years 3 months ago
2006
Abstract. This paper presents a multi-agent approach to gene expression analysis and illustrates the working steps using real dataset produced from a microarray experiment. The ana...
115
click to vote
TITS
2008
15 years 2 months ago
2008
Abstract--The automation of the overtaking maneuver is considered to be one of the toughest challenges in the development of autonomous vehicles. This operation involves two vehicl...