Sciweavers

1554 search results - page 72 / 311
» An Overview of the Spring System
Sort
View
CN
1999
109views more  CN 1999»
13 years 9 months ago
Wireless Local Loop Radio Systems
Wireless local loop radio, is expected to become a widely accepted technology for rapid access to network infrastructure by remote locations. Characteristics of a wireless local l...
Nicolae Cotanis, Bijan Jabbari
UML
2005
Springer
14 years 3 months ago
Modeling and Analysis of Real-Time and Embedded Systems
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
Susanne Graf, Sébastien Gérard, &Osl...
CLEF
2006
Springer
14 years 1 months ago
Quartz: A Question Answering System for Dutch
We describe a question answering system for Dutch that we used for our participation in the 2006 CLEF Question Answering Dutch monolingual task. We give an overview of the system a...
David Ahn, Valentin Jijkoun, Joris van Rantwijk, M...
FMOODS
2007
13 years 11 months ago
KeY: A Formal Method for Object-Oriented Systems
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä...
KES
2007
Springer
13 years 10 months ago
A Content Dependent Visualization System for Symbolic Representation of Piano Stream
This paper provides an overview on the advances of music information retrieval in symbolic representation of music. Such musical aspects as key, tonality, bass, melody, dynamics, r...
Alexander Adli, Zensho Nakao, Yasunori Nagata