Sciweavers

1937 search results - page 192 / 388
» Starting B Specifications from Use Cases
Sort
View
ICWE
2004
Springer
15 years 12 months ago
Authoring and Dynamic Generation of Adaptive E-courses
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...
Rosa M. Carro, Manuel Freire, Estefanía Mar...
DAWAK
1999
Springer
15 years 11 months ago
Mining Interval Time Series
Data mining can be used to extensively automate the data analysis process. Techniques for mining interval time series, however, have not been considered. Such time series are commo...
Roy Villafane, Kien A. Hua, Duc A. Tran, Basab Mau...
TSP
2008
123views more  TSP 2008»
15 years 6 months ago
Blind and Semiblind Channel and Carrier Frequency-Offset Estimation in Orthogonally Space-Time Block Coded MIMO Systems
In this paper, the problem of joint channel and carrier frequency offset (CFO) estimation is studied in the context of multiple-input multiple-output (MIMO) communications based on...
Shahram Shahbazpanahi, Alex B. Gershman, Georgios ...
CP
2006
Springer
15 years 10 months ago
Preprocessing QBF
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there...
Horst Samulowitz, Jessica Davies, Fahiem Bacchus
BMCBI
2006
155views more  BMCBI 2006»
15 years 6 months ago
Analysis of promoter regions of co-expressed genes identified by microarray analysis
Background: The use of global gene expression profiling to identify sets of genes with similar expression patterns is rapidly becoming a widespread approach for understanding biol...
Srinivas Veerla, Mattias Höglund