Sciweavers

983 search results - page 111 / 197
» Combined Analysis of User Interface and Domain Requirements
Sort
View
WECWIS
2008
IEEE
98views ECommerce» more  WECWIS 2008»
16 years 20 days ago
Visualizing Compositions of Services from Large Repositories
Creating a Service-Oriented Architecture requires the identification of services to be composed together in order to solve a given need. Currently, software engineers perform thi...
Marco Aiello, Johan van Benthem, Elie el Khoury
IJCAI
1989
15 years 7 months ago
Generating Facts From Opinions with Information Source Models
This paper describes an attempt to model the method of generating a fact from the opinions of other persons or of institutions as a process which is based on knowledge about these...
Martin Thost
FATES
2003
Springer
15 years 11 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
CORR
2006
Springer
101views Education» more  CORR 2006»
15 years 6 months ago
Foundations of Modern Language Resource Archives
A number of serious reasons will convince an increasing amount of researchers to store their relevant material in centers which we will call "language resource archives"...
Peter Wittenburg, Daan Broeder, Wolfgang Klein, St...
ICDAR
2005
IEEE
15 years 12 months ago
Hybrid Recognition for One Stroke Style Cursive Handwriting Characters
On-line handwriting recognition has continued to persist as a popular research field while pen computing applications are widely used in recent years. This paper proposes a novel ...
Teng Long, Lianwen Jin