Sciweavers

1860 search results - page 217 / 372
» Automatic Generation of Search Engines
Sort
View
148
Voted
ICCS
2003
Springer
15 years 8 months ago
Implementation of a Grid-Enabled Problem Solving Environment in Matlab
In many areas of design search and optimisation one needs to utilize Computational Fluid Dynamics (CFD) methods in order to obtain numerical solution of the flow field in and/or ...
M. Hakki Eres, Graeme E. Pound, Zhuoan Jiao, Jasmi...
168
Voted
KDD
2012
ACM
243views Data Mining» more  KDD 2012»
13 years 6 months ago
Storytelling in entity networks to support intelligence analysts
Intelligence analysts grapple with many challenges, chief among them is the need for software support in storytelling, i.e., automatically ‘connecting the dots’ between dispar...
M. Shahriar Hossain, Patrick Butler, Arnold P. Boe...
149
Voted
ISSTA
2010
ACM
15 years 7 months ago
Automated fixing of programs with contracts
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, St...
139
Voted
EDBTW
2004
Springer
15 years 9 months ago
Relevance Feedback in XML Retrieval
Highly heterogeneous XML data collections that do not have a global schema, as arising, for example, in federations of digital libraries or scientific data repositories, cannot be...
Hanglin Pan
125
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
Danièle Beauquier, Anatol Slissenko