Sciweavers

4536 search results - page 706 / 908
» Contention-Sensitive Data Structures and Algorithms
Sort
View
AAAI
2006
15 years 3 months ago
Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints
Some search problems are most directly specified by boolean combinations of pseudo-boolean constraints. We study a logic PL(PB) whose formulas are of this form, and design local-s...
Lengning Liu, Miroslaw Truszczynski
ACL
2001
15 years 3 months ago
Extending Lambek Grammars: a Logical Account of Minimalist Grammars
We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky's minimalist program. Our logical definition leads to a neat relation...
Alain Lecomte, Christian Retoré
113
Voted
EUSFLAT
2001
108views Fuzzy Logic» more  EUSFLAT 2001»
15 years 3 months ago
Intelligent modelling of the indoor climate in buildings by soft computing
The paper considers the application of soft computing techniques for predictive modelling in the built sector. TakagiSugeno fuzzy models are built by subtractive clustering to pro...
Alexander Gegov
IMAMS
2003
212views Mathematics» more  IMAMS 2003»
15 years 3 months ago
Watermarking 3D Polygonal Meshes Using the Singular Spectrum Analysis
Watermarking is to embed a structure called a watermark into the target data such as images. The watermark can be used, for example, in order to secure the copyright and detect tam...
Kohei Muratani, Kokichi Sugihara
TREC
2004
15 years 3 months ago
Question Answering by Searching Large Corpora With Linguistic Methods
In this paper we describe the QuALiM Question Answering system which uses linguistic analysis of questions as well as candidate sentences in its answer finding process. To this en...
Michael Kaißer, Tilman Becker