2441 search results - page 69 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
CAISE
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
SAC
2004
ACM
15 years 4 months ago
2004
ACM
An import issue for numerical weather prediction modes (NWP) is the time it takes to produce a valid forecast. One factor, which greatly influences this simulation time is the si...
IPMI
1997
Springer
15 years 3 months ago
1997
Springer
This paper describes a.n automatic procedure for extracting sulcal bottom lines from MR (magnetic resonance) images of the human brain, which will serve as a tool for landmark extr...
125
click to vote
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper discusses the design and implementation of a Service Generator Toolkit (SGT) that allows web services researchers to easily create large numbers of web services. When d...
DATE
2003
IEEE
15 years 4 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...