1860 search results - page 93 / 372 » Automatic Generation of Search Engines |
122
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
191
Voted
IBPRIA
2007
Springer
15 years 5 months ago
2007
Springer
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
113
Voted
ACL
1998
15 years 5 months ago
1998
This paper presents a system which automatically generates shallow semantic frame structures for conversational speech in unrestricted domains. We argue that such shallow semantic...
139
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test c...
135
Voted
DAC
1995
ACM
15 years 7 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...