Sciweavers

3706 search results - page 241 / 742
» KtSeqC: System Description
Sort
View
ICTAI
2003
IEEE
15 years 12 months ago
Equuleus: Presentation from Legacy Documents
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
Susan Weber McRoy, Syed S. Ali, Nipat Nalamlieng
SEFM
2003
IEEE
15 years 12 months ago
Architecting Specifications for Test Case Generation
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
Richard O. Sinnott
ERCIMDL
2003
Springer
106views Education» more  ERCIMDL 2003»
15 years 12 months ago
A User Evaluation of Hierarchical Phrase Browsing
Phrase browsing interfaces based on hierarchies of phrases extracted automatically from document collections offer a useful compromise between automatic full-text searching and man...
Katrina D. Edgar, David M. Nichols, Gordon W. Payn...
ICES
2003
Springer
151views Hardware» more  ICES 2003»
15 years 12 months ago
Using Genetic Programming and High Level Synthesis to Design Optimized Datapath
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
Sérgio G. Araújo, Antônio C. M...
COOPIS
2002
IEEE
15 years 11 months ago
Querying XML Sources Using an Ontology-Based Mediator
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...
Bernd Amann, Catriel Beeri, Irini Fundulaki, Miche...