Sciweavers

3172 search results - page 89 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
111
Voted
ATS
2010
IEEE
250views Hardware» more  ATS 2010»
14 years 9 months ago
Efficient Embedding of Deterministic Test Data
Systems with many integrated circuits (ICs), often of the same type, are increasingly common to meet the constant performance demand. However, systems in recent semiconductor techn...
Mudassar Majeed, Daniel Ahlstrom, Urban Ingelsson,...
108
Voted
JLP
2010
85views more  JLP 2010»
14 years 7 months ago
Synchronous Kleene algebra
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
Cristian Prisacariu
EUSFLAT
2003
146views Fuzzy Logic» more  EUSFLAT 2003»
15 years 2 months ago
Cut equivalence of fuzzy relations
Fuzzy relations on the same domain are classified according to the equality of families of cut sets. This equality of fuzzy relations is completely characterized, not only for un...
Branimir Seselja, Andreja Tepavcevic
87
Voted
CADE
2006
Springer
16 years 1 months ago
Using the TPTP Language for Writing Derivations and Finite Interpretations
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Al...
106
Voted
ICAIL
2005
ACM
15 years 6 months ago
A question-answering system for Portuguese juridical documents
We present a Question-Answering (QA) system for Portuguese juridical documents. The QA system was applied to the complete set of decisions from several Portuguese juridical instit...
Paulo Quaresma, Irene Pimenta Rodrigues