190 search results - page 31 / 38 » Symmetry and Satisfiability: An Update |
FORTE
2008
15 years 1 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
124
click to vote
CSREAPSC
2006
15 years 1 months ago
2006
Mobile users need lightweight devices with low energy consumption. When applications are executed on remote servers instead of locally on the end-user's device, the weight of...
GRAPHICSINTERFACE
2001
15 years 1 months ago
2001
Though considerable progress has been made with the view-dependent techniques in terrain visualization, the CPU overhead still precludes their wide application in many domains. Th...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We focus on credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. We replace the notion of strong independence commonly used in credal ne...
RTS
2006
14 years 11 months ago
2006
Timing constraints for radar tasks are usually specified in terms of the minimum and maximum temporal distance between successive radar dwells. We utilize the idea of feasible int...