4581 search results - page 203 / 917 » Computing Transformation Semigroups |
148
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
274
click to vote
PLILP
1993
Springer
15 years 10 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
156
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
157
click to vote
IJCNN
2008
IEEE
16 years 29 days ago
2008
IEEE
—This article introduces a new feature vector extraction for EEG signals using multifractal analysis. The validity of the approach is asserted on real data sets from the BCI comp...
141
click to vote
CBMS
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper investigates a novel computational approach to thyroid tissue characterization in ultrasound images. It is based on the hypothesis that tissues in thyroid ultrasound im...