Sciweavers

794 search results - page 93 / 159
» Automatically Analyzing Software Processes: Experience Repor...
Sort
View
94
Voted
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 7 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
83
Voted
ICES
2003
Springer
79views Hardware» more  ICES 2003»
15 years 5 months ago
Using Genetic Programming to Generate Protocol Adaptors for Interprocess Communication
Abstract. As mobile devices become more powerful, interprocess communication becomes increasingly more important. Unfortunately, this larger freedom of mobility gives rise to unkno...
Werner Van Belle, Tom Mens, Theo D'Hondt
117
Voted
NAACL
1994
15 years 1 months ago
Language Identification via Large Vocabulary Speaker Independent Continuous Speech Recognition
The goal of this study is to evaluate the potential for using large vocabulary continuous speech recognition as an engine for automatically classifying utterances according to the...
Steve Lowe, Anne Demedts, Larry Gillick, Mark Mand...
GRC
2010
IEEE
15 years 1 months ago
Searching Digital Political Cartoons
The study of cartoons, manga, and graphic novels is of growing importance to humanity scholars. Managing cartoons for scholarly use presents two challenges: searching and understan...
Yejun Wu
103
Voted
INEX
2007
Springer
15 years 6 months ago
Overview of INEX 2007 Link the Wiki Track
Wikipedia is becoming ever more popular. Linking between documents is typically provided in similar environments in order to achieve collaborative knowledge sharing. However, this ...
Darren Wei Che Huang, Yue Xu, Andrew Trotman, Shlo...