6167 search results - page 28 / 1234 » Can Refinement be Automated |
77
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Current state-of?the-art spoken dialog systems are aimed at handling telephone calls to automate incoming caller requests. In this paper we explore a scenario which is symmetric t...
104
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
106
Voted
ICSE
2003
IEEE-ACM
15 years 6 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
107
Voted
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Protecting BGP routing from errors and malice is one of the next big challenges for Internet routing. Several approaches have been proposed that attempt to capture and block ro...
122
click to vote
ICCV
1999
IEEE
16 years 2 months ago
1999
IEEE
Camera calibration is a primary crucial step in many computer vision tasks. In this paper we present a new neural approach for camera calibration. Unlike some existing neural appr...