Sciweavers

585 search results - page 95 / 117
» The Feature Subspace Method for SMT System Combination
Sort
View
ER
2005
Springer
155views Database» more  ER 2005»
14 years 1 months ago
Applying Transformations to Model Driven Development of Web Applications
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
Santiago Meliá, Jaime Gómez
WCET
2010
13 years 5 months ago
METAMOC: Modular Execution Time Analysis using Model Checking
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Tof...
JCB
2006
185views more  JCB 2006»
13 years 7 months ago
A Probabilistic Methodology for Integrating Knowledge and Experiments on Biological Networks
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
Irit Gat-Viks, Amos Tanay, Daniela Raijman, Ron Sh...
CVPR
2009
IEEE
15 years 3 months ago
Holistic Context Modeling using Semantic Co-occurrences
We present a simple framework to model contextual relationships between visual concepts. The new framework combines ideas from previous object-centric methods (which model conte...
Nikhil Rasiwasia (University Of California, San Di...
ENC
2007
IEEE
14 years 2 months ago
fMRI Brain Image Retrieval Based on ICA Components
This manuscript proposes a retrieval system for fMRI brain images. Our goal is to find a similaritymetric to enable us to support queries for “similar tasks” for retrieval on...
Bing Bai, Paul B. Kantor, Ali Shokoufandeh, Debora...