Sciweavers

2127 search results - page 380 / 426
» Software Automation
Sort
View
119
Voted
DOCENG
2010
ACM
15 years 1 months ago
Using model driven engineering technologies for building authoring applications
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
Olivier Beaudoux, Arnaud Blouin, Jean-Marc J&eacut...
104
Voted
HPDC
2010
IEEE
15 years 1 months ago
ParaText: scalable text modeling and analysis
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
Daniel M. Dunlavy, Timothy M. Shead, Eric T. Stant...
107
Voted
BMCBI
2008
153views more  BMCBI 2008»
15 years 21 days ago
GAPscreener: An automatic tool for screening human genetic association literature in PubMed using the support vector machine tec
Background: Synthesis of data from published human genetic association studies is a critical step in the translation of human genome discoveries into health applications. Although...
Wei Yu, Melinda Clyne, Siobhan M. Dolan, Ajay Yesu...
116
Voted
ENTCS
2008
140views more  ENTCS 2008»
15 years 19 days ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler
111
Voted
CGA
2007
15 years 17 days ago
Interactive Illustrative Rendering on Mobile Devices
Illustrative rendering is a widely used visualization technique to display conceptual information, describe problems and give insight to solve them efficiently in science, engine...
Jingshu Huang, Brian Bue, Avin Pattath, David S. E...