Sciweavers

698 search results - page 80 / 140
» A Scalable Approach to Continuous-Media Processing
Sort
View
CLEF
2003
Springer
14 years 3 months ago
UNED at iCLEF 2003: Searching Cross-Language Summaries
The UNED phrase-based cross-language summaries were first introduced at iCLEF 2001 as a translation strategy which permitted faster document selection with roughly the same accur...
Fernando López-Ostenero, Julio Gonzalo, Fel...
KBSE
2002
IEEE
14 years 2 months ago
What Makes Finite-State Models More (or Less) Testable?
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
David Owen, Tim Menzies, Bojan Cukic
HICSS
1994
IEEE
127views Biometrics» more  HICSS 1994»
14 years 2 months ago
Angel: Resource Unification in a.64-bit Microkernel
The appearance of 64-bit processors allows a new approach to microkernel desagn From our experience with a message passang microkernel MESHIX, we discovered that a multi-address s...
Kevin Murray, Tim Wilkinson, Tom Stiemerling, Paul...
DAS
2006
Springer
14 years 1 months ago
Retrieval from Document Image Collections
Abstract. This paper presents a system for retrieval of relevant documents from large document image collections. We achieve effective search and retrieval from a large collection ...
A. Balasubramanian, Million Meshesha, C. V. Jawaha...
FMCO
2006
Springer
135views Formal Methods» more  FMCO 2006»
14 years 1 months ago
Links: Web Programming Without Tiers
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...