Sciweavers

318 search results - page 23 / 64
» Real Number Computability and Domain Theory
Sort
View
FCT
2007
Springer
14 years 3 months ago
A Novel Information Transmission Problem and Its Optimal Solution
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
Eric Bach, Jin-yi Cai
JUCS
2010
152views more  JUCS 2010»
13 years 3 months ago
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
Michal Konecný, Amin Farjudian
AFRIGRAPH
2007
ACM
14 years 24 days ago
Generic computation of bulletin boards into geometric kernels
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
Mehdi Baba-ali, David Marcheix, Xavier Skapin, Yve...
WOA
2003
13 years 10 months ago
Towards the Improvement of Monitoring and Control Agencies through Knowledge-Based Approaches
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
Matteo Palmonari, Fabio Sartori
ISMB
2000
13 years 10 months ago
Intelligent Aids for Parallel Experiment Planning and Macromolecular Crystallization
This paper presents a framework called Parallel Experiment Planning (PEP) that is based on an abstraction of how experiments are performed in the domain of macromolecular crystall...
Vanathi Gopalakrishnan, Bruce G. Buchanan, John M....