Sciweavers

2206 search results - page 206 / 442
» On the power of coercion abstraction
Sort
View
IEAAIE
2005
Springer
16 years 3 days ago
Inferring Definite-Clause Grammars to Express Multivariate Time Series
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
Gabriela Guimarães, Luís Moniz Perei...
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 3 days ago
The Implementation of iData
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
Rinus Plasmeijer, Peter Achten
IFM
2005
Springer
16 years 3 days ago
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
Héctor Ruíz Barradas, Didier Bert
IJCNLP
2005
Springer
16 years 3 days ago
Classifying Chinese Texts in Two Steps
Abstract. This paper proposes a two-step method for Chinese text categorization (TC). In the first step, a Naïve Bayesian classifier is used to fix the fuzzy area between two cate...
Xinghua Fan, Maosong Sun, Key-Sun Choi, Qin Zhang
IMA
2005
Springer
127views Cryptology» more  IMA 2005»
16 years 3 days ago
On the Automatic Construction of Indistinguishable Operations
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...
Manuel Barbosa, Dan Page