Sciweavers

7049 search results - page 1183 / 1410
» Data Abstraction for CSP-OZ
Sort
View
ATMOS
2008
112views Optimization» more  ATMOS 2008»
15 years 8 months ago
Dynamic Algorithms for Recoverable Robustness Problems
Abstract. Recently, the recoverable robustness model has been introduced in the optimization area. This model allows to consider disruptions (input data changes) in a unified way, ...
Serafino Cicerone, Gabriele Di Stefano, Michael Sc...
ADBIS
2010
Springer
174views Database» more  ADBIS 2010»
15 years 8 months ago
Exploiting the Semantics of Location Granules in Location-Dependent Queries
Abstract. The need for location-based services has motivated an important research effort in the efficient processing of location-dependent queries. Most of the existing approaches...
Carlos Bobed, Sergio Ilarri, Eduardo Mena
AMT
2010
Springer
269views Multimedia» more  AMT 2010»
15 years 8 months ago
User Interests: Definition, Vocabulary, and Utilization in Unifying Search and Reasoning
Abstract. Consistent description and representation method of user interests are required for personalized Web applications. In this paper, we provide a formal definition and the &...
Yi Zeng, Yan Wang, Zhisheng Huang, Danica Damljano...
ISSRE
2007
IEEE
15 years 8 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
BCSHCI
2007
15 years 8 months ago
Challenges of evaluating the information visualisation experience
Information Visualisation (InfoVis) is defined as an ive visual representation of abstract data. We view the user’s interaction with InfoVis tools as an experience which is made...
Sarah Faisal, Paul A. Cairns, Ann Blandford
« Prev « First page 1183 / 1410 Last » Next »