Sciweavers

7853 search results - page 1469 / 1571
» Learning from Each Other
Sort
View
CORR
2010
Springer
208views Education» more  CORR 2010»
13 years 9 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
CSDA
2008
128views more  CSDA 2008»
13 years 9 months ago
Classification tree analysis using TARGET
Tree models are valuable tools for predictive modeling and data mining. Traditional tree-growing methodologies such as CART are known to suffer from problems including greediness,...
J. Brian Gray, Guangzhe Fan
CVIU
2008
124views more  CVIU 2008»
13 years 9 months ago
Measuring novelty and redundancy with multiple modalities in cross-lingual broadcast news
News videos from different channels, languages are broadcast everyday, which provide abundant information for users. To effectively search, retrieve, browse and track news stories...
Xiao Wu, Alexander G. Hauptmann, Chong-Wah Ngo
ENTCS
2008
88views more  ENTCS 2008»
13 years 9 months ago
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
Claudia Ermel, Hartmut Ehrig
BMCBI
2006
81views more  BMCBI 2006»
13 years 9 months ago
Multipolar representation of protein structure
Background: That the structure determines the function of proteins is a central paradigm in biology. However, protein functions are more directly related to cooperative effects at...
Apostol Gramada, Philip E. Bourne
« Prev « First page 1469 / 1571 Last » Next »