Sciweavers

19587 search results - page 3746 / 3918
» Systems Engineering for software Engineers
Sort
View
CIKM
2003
Springer
15 years 10 months ago
Using titles and category names from editor-driven taxonomies for automatic evaluation
Evaluation of IR systems has always been difficult because of the need for manually assessed relevance judgments. The advent of large editor-driven taxonomies on the web opens the...
Steven M. Beitzel, Eric C. Jensen, Abdur Chowdhury...
DFG
2003
Springer
15 years 10 months ago
Inter-organizational Business Process Management with XML Nets
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
Kirsten Lenz, Andreas Oberweis
DSVIS
2003
Springer
15 years 10 months ago
Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology
Most user interface development methodologies have been conceived based on the experience from the development of traditional PC-based systems. However, computer and displays techn...
José Pascual Molina, Pascual Gonzále...
147
Voted
EGH
2003
Springer
15 years 10 months ago
The FFT on a GPU
The Fourier transform is a well known and widely used tool in many scientific and engineering fields. The Fourier transform is essential for many image processing techniques, in...
Kenneth Moreland, Edward Angel
FM
2003
Springer
109views Formal Methods» more  FM 2003»
15 years 10 months ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...
« Prev « First page 3746 / 3918 Last » Next »