Sciweavers

6474 search results - page 1237 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
ICIP
2004
IEEE
16 years 7 months ago
Robust motion-based image segmentation using fusion
To support real-time tracking of objects in video sequences, there has been considerable effort directed at developing optical flow and general motion-based image segmentation alg...
Michael E. Farmer, Xiaoguang Lu, Hong Chen, Anil K...
ICDE
2007
IEEE
145views Database» more  ICDE 2007»
16 years 7 months ago
Rewriting Regular XPath Queries on XML Views
We study the problem of answering queries posed on virtual views of XML documents, a problem commonly encountered when enforcing XML access control and integrating data. We approa...
Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios K...
DAC
2003
ACM
16 years 7 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
SIGMOD
2003
ACM
240views Database» more  SIGMOD 2003»
16 years 6 months ago
XRANK: Ranked Keyword Search over XML Documents
We consider the problem of efficiently producing ranked results for keyword search queries over hyperlinked XML documents. Evaluating keyword search queries over hierarchical XML ...
Lin Guo, Feng Shao, Chavdar Botev, Jayavel Shanmug...
ICFP
2007
ACM
16 years 6 months ago
Tangible functional programming
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
Conal Elliott
« Prev « First page 1237 / 1295 Last » Next »