Sciweavers

3571 search results - page 363 / 715
» On the Power of Imperfect Information
Sort
View
CAI
2009
Springer
16 years 1 months ago
The Graph Programming Language GP
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
Detlef Plump
CCA
2009
Springer
16 years 1 months ago
Computability of Homology for Compact Absolute Neighbourhood Retracts
In this note we discuss the information needed to compute the homology groups of a topological space. We argue that the natural class of spaces to consider are the compact absolut...
Pieter Collins
MODELS
2009
Springer
16 years 1 months ago
Towards Semantic Modeling of Network Physical Devices
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
Krzysztof Miksa, Marek Kasztelnik, Pawel Sabina, T...
RR
2009
Springer
16 years 1 months ago
Belief Logic Programming with Cyclic Dependencies
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
Hui Wan
CANDC
2009
ACM
16 years 1 months ago
ToneZone: image exploration with spatial memory cues
We present two versions of the ToneZone tool, which allows users to explore image tone ranges. The original ToneZone tool is a dual-mouse, dual-cursor tool, while a modified vers...
Celine Latulipe, Michael Youngblood, Ian Bell, Car...