Sciweavers

4451 search results - page 314 / 891
» Continuous model synthesis
Sort
View
MEDINFO
2007
123views Healthcare» more  MEDINFO 2007»
15 years 8 months ago
A Multidiscipline Conceptual Framework for Consumer Health Informatics
This paper presents an idealized conceptual framework for consumer health informatics research drawing from complementary disciplines: information science and health campaign rese...
Robert A. Logan, Tony Tse
NIPS
2004
15 years 8 months ago
Inference, Attention, and Decision in a Bayesian Neural Architecture
We study the synthesis of neural coding, selective attention and perceptual decision making. We build a hierarchical neural architecture that implements Bayesian integration of no...
Angela J. Yu, Peter Dayan
CONCUR
2010
Springer
15 years 7 months ago
Kleene, Rabin, and Scott Are Available
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger ...
ENTCS
2010
99views more  ENTCS 2010»
15 years 6 months ago
Describing Secure Interfaces with Interface Automata
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
Matias Lee, Pedro R. D'Argenio
CSJM
2006
59views more  CSJM 2006»
15 years 6 months ago
Traveling Salesman Problem with Transportation
Traveling Salesman Problem (TSP) is a generic name that includes diverse practical models. Motivated by applications, a new model of TSP is examined -- a synthesis of classical TS...
Valeriu Ungureanu