Sciweavers

877 search results - page 45 / 176
» How to Cover a Grammar
Sort
View
DAC
1994
ACM
15 years 10 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...
CVPR
2010
IEEE
15 years 8 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
AMAI
2000
Springer
15 years 10 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
APWEB
2007
Springer
16 years 13 days 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...
GFKL
2004
Springer
154views Data Mining» more  GFKL 2004»
15 years 11 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