Sciweavers

5101 search results - page 175 / 1021
» Analyzing medical processes
Sort
View
ER
2003
Springer
99views Database» more  ER 2003»
15 years 11 months ago
A General Model for Online Analytical Processing of Complex Data
Abstract. It has been well recognized that online analytical processing (OLAP) can provide important insights into huge archives of data. While the conventional OLAP model is capab...
Jian Pei
CONCUR
2006
Springer
15 years 10 months ago
A New Type System for Deadlock-Free Processes
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
Naoki Kobayashi
FORMATS
2006
Springer
15 years 10 months ago
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes
Abstract. Continuous-time Markov decision process are an important variant of labelled transition systems having nondeterminism through labels and stochasticity through exponential...
Nicolás Wolovick, Sven Johr
CORR
2008
Springer
79views Education» more  CORR 2008»
15 years 6 months ago
A Simple Distributed Antenna Processing Scheme for Cooperative Diversity
Abstract--In this letter the performance of multiple relay channels is analyzed for the situation in which multiple antennas are deployed only at the relays. The simple repetition-...
Yijia Fan, Abdulkareem Adinoyi, John S. Thompson, ...
ENTCS
2002
121views more  ENTCS 2002»
15 years 6 months ago
Regular Expression Types for Strings in a Text Processing Language
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re...
Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa