4814 search results - page 796 / 963 » Combining abstract interpreters |
ISSTA
2010
ACM
14 years 9 days ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
CDC
2008
IEEE
14 years 9 days ago
2008
IEEE
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
CEC
2008
IEEE
14 years 9 days ago
2008
IEEE
Abstract-- In this paper we investigate the effects of individual learning on an evolving population of situated agents. We work with a novel type of system where agents can decide...
CICLING
2008
Springer
14 years 9 days ago
2008
Springer
Abstract. Professional translators of technical documents often use Translation Memory (TM) systems in order to capitalize on the repetitions frequently observed in these documents...
CIKM
2008
Springer
14 years 8 days ago
2008
Springer
MetaMap is an online application that allows mapping text to UMLS Metathesaurus concepts, which is very useful interoperability among different languages and systems within the bi...