Sciweavers

537 search results - page 78 / 108
» Extended directed triple systems
Sort
View
161
Voted
ATVA
2006
Springer
123views Hardware» more  ATVA 2006»
15 years 7 months ago
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
Alastair F. Donaldson, Alice Miller
161
Voted
DEBS
2010
ACM
15 years 6 months ago
Complex event processing synergies with predictive analytics
For Complex Event Processing (CEP), the synergy with Predictive Analytics (PA) is a promising research direction. In this paper we focus on the inclusion of PA technologies into C...
Gabriella Toth, Lajos Jeno Fülöp, L&aacu...
128
Voted
ASAP
2006
IEEE
147views Hardware» more  ASAP 2006»
15 years 5 months ago
Reconfigurable Shuffle Network Design in LDPC Decoders
Several semi-parallel decoding architectures have been explored by researchers for the quasi-cyclic low density parity check (LDPC) codes. In these architectures, the reconfigurab...
Jun Tang, Tejas Bhatt, Vishwas Sundaramurthy
122
Voted
LREC
2008
94views Education» more  LREC 2008»
15 years 5 months ago
LX-Service: Web Services of Language Technology for Portuguese
In the present paper we report on the development of a cluster of web services of language technology for Portuguese that we named as LXService. These web services permit the dire...
António Branco, Francisco Costa, Pedro Mart...
122
Voted
ECIS
2004
15 years 5 months ago
Perceived risk and trust associated with purchasing at electronic marketplaces
Understanding consumer behavior is of vital importance to consumer oriented e-business models today. In this paper we report on a study into the relationships between consumer per...
Tibert Verhagen, Yao-Hua Tan