2638 search results - page 334 / 528 » A Framework for Automatic Debugging |
213
click to vote
CBSE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
205
Voted
CC
2005
Springer
15 years 9 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
174
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
Sites to share user-created video clips such as YouTube and Yahoo Video have become greatly popular in recent years. One of the challenges of such sites is, however, to prevent vi...
195
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we propose a new approach to learn structured visual compound models from shape-based feature descriptions. We use captioned text in order to drive the pro...
151
click to vote
ACL
2008
15 years 8 months ago
2008
This paper is concerned with the problem of question search. In question search, given a question as query, we are to return questions semantically equivalent or close to the quer...