Sciweavers

16504 search results - page 3278 / 3301
» New Problems, New Solutions
Sort
View
PAMI
2010
139views more  PAMI 2010»
15 years 11 days ago
Order-Preserving Moves for Graph-Cut-Based Optimization
— In the last decade, graph-cut optimization has been popular for a variety of labeling problems. Typically graph-cut methods are used to incorporate smoothness constraints on a ...
Xiaoqing Liu, Olga Veksler, Jagath Samarabandu
PVLDB
2010
128views more  PVLDB 2010»
15 years 11 days ago
Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
Carlo Curino, Hyun Jin Moon, Alin Deutsch, Carlo Z...
SAS
2010
Springer
121views Formal Methods» more  SAS 2010»
15 years 11 days ago
Alternation for Termination
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
William R. Harris, Akash Lal, Aditya V. Nori, Srir...
SIGMOD
2010
ACM
145views Database» more  SIGMOD 2010»
15 years 10 days ago
How to ConQueR why-not questions
One useful feature that is missing from today’s database systems is an explain capability that enables users to seek clarifications on unexpected query results. There are two t...
Quoc Trung Tran, Chee-Yong Chan
SMC
2010
IEEE
228views Control Systems» more  SMC 2010»
15 years 10 days ago
A safe communication scheme for an intelligent Wireless Networked Control System Coordination Agent
Abstract— Wireless networked control systems have begun to gain acceptance during the last decade, largely due to the increased flexibility and lower costs they promise to provi...
James H. Taylor, Hazem M. S. Ibrahim, Jeff Slipp, ...
« Prev « First page 3278 / 3301 Last » Next »