Sciweavers

1256 search results - page 143 / 252
» Tools for Exploring Natural Language
Sort
View
KBSE
2010
IEEE
15 years 2 months ago
Automated program repair through the evolution of assembly code
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
Eric Schulte, Stephanie Forrest, Westley Weimer
132
Voted
KI
2006
Springer
15 years 3 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 8 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
152
Voted
IUCS
2009
ACM
194views Communications» more  IUCS 2009»
15 years 10 months ago
Automatic extraction of bilingual terms from a Chinese-Japanese parallel corpus
This paper proposes a new approach for the automatic extraction of bilingual terms from a domain-specific bilingual parallel corpus. We combine existing monolingual term extractor...
Xiaorong Fan, Nobuyuki Shimizu, Hiroshi Nakagawa
113
Voted
ASPLOS
2006
ACM
15 years 9 months ago
HeapMD: identifying heap-based bugs using anomaly detection
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
Trishul M. Chilimbi, Vinod Ganapathy