Sciweavers

6110 search results - page 140 / 1222
» Approximate Computing
Sort
View
CORR
2002
Springer
87views Education» more  CORR 2002»
15 years 6 months ago
Ultimate approximations in nonmonotonic knowledge representation systems
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczyn...
JUCS
2008
134views more  JUCS 2008»
15 years 6 months ago
Computability of Topological Pressure for Sofic Shifts with Applications in Statistical Physics
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...
Christoph Spandl
DMTCS
2003
89views Mathematics» more  DMTCS 2003»
15 years 7 months ago
On the Monotonic Computability of Semi-computable Real Numbers
Let h : N → Q be a computable function. A real number x is h-monotonically computable (h-mc, for short) if there is a computable sequence (xs) of rational numbers which converges...
Xizhong Zheng, George Barmpalias
IAT
2006
IEEE
16 years 14 days ago
An Approximate Algorithm for Resource Allocation Using Combinatorial Auctions
Combinatorial Auctions (CAs), where users bid on combination of items, have emerged as a useful tool for resource allocation in distributed systems. However, two main difficulties...
Viswanath Avasarala, Himanshu Polavarapu, Tracy Mu...
ESA
2004
Springer
119views Algorithms» more  ESA 2004»
15 years 11 months ago
A Straight Skeleton Approximating the Medial Axis
We propose the linear axis, a new skeleton for polygonal shapes. It is related to the medial axis and the straight skeleton, being the result of a wavefront propagation process. Th...
Mirela Tanase, Remco C. Veltkamp