Sciweavers

11030 search results - page 1948 / 2206
» Generative Sound Models
Sort
View
134
Voted
CONCUR
2006
Springer
15 years 6 months ago
Minimization, Learning, and Conformance Testing of Boolean Programs
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
CP
2006
Springer
15 years 6 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
DAS
2006
Springer
15 years 6 months ago
Segmentation of On-Line Handwritten Japanese Text Using SVM for Improving Text Recognition
Abstract. This paper describes a method of producing segmentation point candidates for on-line handwritten Japanese text by a support vector machine (SVM) to improve text recogniti...
Bilan Zhu, Junko Tokuno, Masaki Nakagawa
DAWAK
2006
Springer
15 years 6 months ago
An Approximate Approach for Mining Recently Frequent Itemsets from Data Streams
Recently, the data stream, which is an unbounded sequence of data elements generated at a rapid rate, provides a dynamic environment for collecting data sources. It is likely that ...
Jia-Ling Koh, Shu-Ning Shin
127
Voted
DRM
2006
Springer
15 years 6 months ago
Consumers, fans, and control: what the games industry can teach Hollywood about DRM
Through legislation and technology the film industry has been seeking to fully control usage of the bits it creates; their model is "restrictive" digital-rights manageme...
Susan Landau, Renée Stratulate, Doug Twille...
« Prev « First page 1948 / 2206 Last » Next »