Sciweavers

877 search results - page 45 / 176
» How to Cover a Grammar
Sort
View
81
Voted
DAC
1994
ACM
15 years 4 months ago
A Fully Implicit Algorithm for Exact State Minimization
State minimization of incompletely specifiedmachinesis an important step of FSM synthesis. An exact algorithm consists of generation of prime compatibles and solution of a binate ...
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alb...
124
Voted
CVPR
2010
IEEE
15 years 2 months ago
Proximate Sensing: Inferring What-Is-Where From Georeferenced Photo Collections
The primary and novel contribution of this work is the conjecture that large collections of georeferenced photo collections can be used to derive maps of what-is-where on the surf...
Daniel Leung, Shawn Newsam
123
Voted
AMAI
2000
Springer
15 years 4 months ago
On Solving Boolean Optimization with Satisfiability-Based Algorithms
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
Vasco M. Manquinho, João P. Marques Silva
92
Voted
APWEB
2007
Springer
15 years 6 months ago
Untyped XQuery Canonization
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
Nicolas Travers, Tuyet-Tram Dang-Ngoc, Tianxiao Li...
107
Voted
GFKL
2004
Springer
154views Data Mining» more  GFKL 2004»
15 years 6 months ago
Discovering Temporal Knowledge in Multivariate Time Series
Abstract. An overview of the Time Series Knowledge Mining framework to discover knowledge in multivariate time series is given. A hierarchy of temporal patterns, which are not a pr...
Fabian Mörchen, Alfred Ultsch