Sciweavers

5659 search results - page 899 / 1132
» Comparing Clusterings in Space
Sort
View
CASC
2007
Springer
108views Mathematics» more  CASC 2007»
16 years 1 months ago
Comprehensive Triangular Decomposition
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients in a field. In broad words, this is a finite part...
Changbo Chen, Oleg Golubitsky, François Lem...
CICLING
2007
Springer
16 years 1 months ago
Finite-State Technology as a Programming Environment
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
Shuly Wintner
CMMR
2007
Springer
146views Music» more  CMMR 2007»
16 years 1 months ago
Placement of Sound Sources in the Stereo Field Using Measured Room Impulse Responses
Current advances in techniques have made it possible to simulate reverberation effects in real world performance spaces by convolving dry instrument signals with physically measur...
William D. Haines, Jesse R. Vernon, Roger B. Danne...
CPAIOR
2007
Springer
16 years 1 months ago
Best-First AND/OR Search for 0/1 Integer Programming
Abstract. AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the struc...
Radu Marinescu 0002, Rina Dechter
CPAIOR
2007
Springer
16 years 1 months ago
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
Jan-Georg Smaus