Sciweavers

1649 search results - page 71 / 330
» Improved Matrix Interpretation
Sort
View
CAV
2003
Springer
155views Hardware» more  CAV 2003»
15 years 4 months ago
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
Marc Geilen
88
Voted
ECIS
2001
15 years 2 months ago
Information markets to improve information value and utilisation
The Internet and Intranet reduce much of the costs of information sharing, but they do not solve receivers' reading and interpretation limitations. Alternatively, browsers an...
Fons Wijnhoven
97
Voted
IJON
2006
78views more  IJON 2006»
15 years 18 days ago
Improving self-organization of document collections by semantic mapping
In text management tasks, the dimensionality reduction becomes necessary to computation and interpretability of the results generated by machine learning algorithms. This paper de...
Renato Fernandes Corrêa, Teresa Bernarda Lud...
CEC
2009
IEEE
15 years 3 months ago
Direct and explicit building blocks identification and composition algorithm
— This paper proposes a new algorithm to identify and compose building blocks based on minimum mutual information criterion. Building blocks are interpreted as common subsequence...
Chalermsub Sangkavichitr, Prabhas Chongstitvatana
89
Voted
COMBINATORICS
2007
87views more  COMBINATORICS 2007»
15 years 19 days ago
A Bijection on Dyck Paths and its Cycle Structure
The known bijections on Dyck paths are either involutions or have notoriously intractable cycle structure. Here we present a size-preserving bijection on Dyck paths whose cycle st...
David Callan