Sciweavers

4051 search results - page 785 / 811
» A Multilevel Segmentation Method
Sort
View
TSE
2008
107views more  TSE 2008»
13 years 8 months ago
Interface Grammars for Modular Software Model Checking
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Graham Hughes, Tevfik Bultan
BMCBI
2004
206views more  BMCBI 2004»
13 years 8 months ago
Combining gene expression data from different generations of oligonucleotide arrays
Background: One of the important challenges in microarray analysis is to take full advantage of previously accumulated data, both from one's own laboratory and from public re...
Kyu Baek Hwang, Sek Won Kong, Steven A. Greenberg,...
IEEEMM
2002
291views more  IEEEMM 2002»
13 years 8 months ago
Semantic Annotation of Sports Videos
ion when we annotate content. This therefore requires us to investigate and model video semantics. Because of the type and volume of data, general-purpose approaches are likely to ...
Jürgen Assfalg, Marco Bertini, Carlo Colombo,...
SAC
2008
ACM
13 years 8 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
CORR
2010
Springer
130views Education» more  CORR 2010»
13 years 7 months ago
Distribution of Cognitive Load in Web Search
The search task and the system both affect the demand on cognitive resources during information search. In some situations, the demands may become too high for a person. This arti...
Jacek Gwizdka