3006 search results - page 7 / 602 » Overview |
EUSFLAT
2007
13 years 8 months ago
2007
The paper gives an overview about the activities in research and development at the University of Applied Sciences Zittau/Görlitz and the IPM-Institute in the field of Soft Compu...
ENTCS
2008
13 years 7 months ago
2008
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...
IEICET
2006
13 years 7 months ago
2006
This paper overviews the history of a class of varactor tuned bandpass filters. Since the miniaturization as well as the high performance of the tunable bandpass filters is requir...
JANCL
2006
13 years 7 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
DATASCIENCE
2002
13 years 7 months ago
2002
This paper proposes an overview of the IMSA application, a patient-oriented medical information system. IMSA stands for Interactive Multimedia System for Auto-medication and aims ...