Sciweavers

1508 search results - page 259 / 302
» A Combination Method for Generating Interpolants
Sort
View
ENTCS
2007
126views more  ENTCS 2007»
15 years 4 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
IJON
2007
118views more  IJON 2007»
15 years 3 months ago
Time series prediction with recurrent neural networks trained by a hybrid PSO-EA algorithm
To predict the 100 missing values from a time series of 5000 data points, given for the IJCNN 2004 time series prediction competition, recurrent neural networks (RNNs) are trained...
Xindi Cai, Nian Zhang, Ganesh K. Venayagamoorthy, ...
ARTMED
2005
109views more  ARTMED 2005»
15 years 3 months ago
Customization in a unified framework for summarizing medical literature
Objectives: We present the summarization system in the PERSIVAL medical digital library. Although we discuss the context of our summarization research within the PERSIVAL platform...
Noemie Elhadad, Min-Yen Kan, Judith L. Klavans, Ka...
TOG
2008
134views more  TOG 2008»
15 years 3 months ago
Interactive visual editing of grammars for procedural architecture
We introduce a real-time interactive visual editing paradigm for shape grammars, allowing the creation of rulebases from scratch without text file editing. In previous work, shape...
Markus Lipp, Peter Wonka, Michael Wimmer
IJON
2002
85views more  IJON 2002»
15 years 3 months ago
Learning statistically efficient features for speaker recognition
We apply independent component analysis (ICA) for extracting an optimal basis to the problem of finding efficient features for a speaker. The basis functions learned by the algori...
Gil-Jin Jang, Te-Won Lee, Yung-Hwan Oh