Sciweavers

6047 search results - page 1038 / 1210
» A Scenario Construction Process
Sort
View
212
Voted
ISSTA
2009
ACM
15 years 11 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
200
Voted
ICANN
2009
Springer
15 years 11 months ago
Multiple Sound Source Localisation in Reverberant Environments Inspired by the Auditory Midbrain
This paper proposes a spiking neural network (SNN) of the mammalian auditory midbrain to achieve binaural multiple sound source localisation. The network is inspired by neurophysio...
Jindong Liu, David Perez-Gonzalez, Adrian Rees, Ha...
SARA
2009
Springer
15 years 11 months ago
Rewriting Constraint Models with Metamodels
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
Raphaël Chenouard, Laurent Granvilliers, Rica...
209
Voted
AGENTS
2001
Springer
15 years 11 months ago
A multi-agent system for automated genomic annotation
Massive amounts of raw data are currently being generated by biologists while sequencing organisms. Outside of the largest, high-pro le projects such as the Human Genome Project, ...
Keith Decker, Xiaojing Zheng, Carl Schmidt
AIME
2001
Springer
15 years 11 months ago
Using Critiquing for Improving Medical Protocols: Harder than It Seems
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themse...
Mar Marcos, Geert Berger, Frank van Harmelen, Anne...
« Prev « First page 1038 / 1210 Last » Next »