Sciweavers

2651 search results - page 205 / 531
» Experiences with the Use of a Configuration Language
Sort
View
TREC
2001
15 years 8 months ago
Retrieving Web Pages Using Content, Links, URLs and Anchors
For this year's web track, we concentrated on the entry page finding task. For the content-only runs, in both the ad-hoc task and the entry page finding task, we used an infor...
Thijs Westerveld, Wessel Kraaij, Djoerd Hiemstra
165
Voted
ICANN
2001
Springer
15 years 11 months ago
On-Line Error Detection of Annotated Corpus Using Modular Neural Networks
This paper proposes an on-line error detecting method for a manually annotated corpus using min-max modular (M3 ) neural networks. The basic idea of the method is to use guaranteed...
Qing Ma, Bao-Liang Lu, Masaki Murata, Michinori Ic...
COMPSAC
2006
IEEE
16 years 25 days ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
WSC
2007
15 years 9 months ago
Using flexible points in a developing simulation of selective dissolution in alloys
Coercion is a semi-automated simulation adaptation technology that uses subject-matter expert insight about model ion alternatives, called flexible points, to change the behavior...
Joseph C. Carnahan, Steven A. Policastro, Erin C. ...