Sciweavers

7124 search results - page 988 / 1425
» Programming Languages and Operating Systems
Sort
View
JDCTA
2008
138views more  JDCTA 2008»
15 years 5 months ago
DVRC-iTV: Download Variable Remote Control for Interactive TV
TV is one of the most important home appliances and the remote controller is a crucial TV input device. TV remote controllers have always been designed with TV compatibility in mi...
Shu-Ching Wang, Tzu-Chih Chung, Kuo-Qin Yan
CPAIOR
2010
Springer
15 years 4 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
UM
2009
Springer
16 years 1 months ago
Evaluating Three Scrutability and Three Privacy User Privileges for a Scrutable User Modelling Infrastructure
This paper describes the evaluation of a Scrutable User Modelling Infrastructure. SUMI is intended to form a service to allow users to share their user models from social e-network...
Demetris Kyriacou, Hugh C. Davis, Thanassis Tiropa...
ICALP
2010
Springer
15 years 11 months ago
Compositionality in Graph Transformation
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
Arend Rensink
TOOLS
2000
IEEE
15 years 11 months ago
Algorithmic Analysis of the Impacts of Changes to Object-Oriented Software
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...
Michelle Lee, A. Jefferson Offutt, Roger T. Alexan...