Sciweavers

911 search results - page 2 / 183
» The New Promise of Analog Computation
Sort
View
AIMS
2007
Springer
14 years 10 days ago
Modeling Change Without Breaking Promises
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
Alva L. Couch, Hengky Susanto, Marc Chiarini
ICNC
2005
Springer
13 years 11 months ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
CSR
2009
Springer
13 years 9 months ago
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
Olaf Beyersdorff, Zenon Sadowski
ICCS
2004
Springer
13 years 11 months ago
Intrinsic Evolution of Analog Circuits on a Programmable Analog Multiplexer Array
This work discusses an Evolvable Hardware (EHW) platform for the intrinsic evolution of analog electronic circuits. The EHW analog platform, named PAMA-NG (Programmable Analog Mult...
José Franco Machado do Amaral, Jorge Lu&iac...
EDBT
2010
ACM
153views Database» more  EDBT 2010»
14 years 29 days ago
Suggestion of promising result types for XML keyword search
Although keyword query enables inexperienced users to easily search XML database with no specific knowledge of complex structured query languages or XML data schemas, the ambigui...
Jianxin Li, Chengfei Liu, Rui Zhou, Wei Wang