716 search results - page 4 / 144 » Rule Formats for Timed Processes |
CATS
2008
13 years 9 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper we model and simulate a biological system describing the evolution of cancer stem cells into tumors. Starting from some basic hypotheses about the behavior of these ...
ICDM
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents an active learning approach to the problem of systematic noise inference and noise elimination, specifically the inference of Associated Corruption (AC) rules...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
When users combine data from multiple sources into a spreadsheet or dataset, the result is often a mishmash of different formats, since phone numbers, dates, course numbers and ot...
JSAC
2006
13 years 7 months ago
2006
The symbol error probability (SEP) performance of time-hopping (TH) ultra-wideband (UWB) systems in the presence of multiuser interference (MUI) and timing jitter is considered wit...