1992 search results - page 316 / 399 » Model Based Testing with Labelled Transition Systems |
123
Voted
EVOW
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we propose the use of an interactive multi-agent system for the study of rhythm evolution. The aim of the model proposed here is to show to what extent new rhythms em...
99
Voted
IGARSS
2009
15 years 10 days ago
2009
In the context of non-Gaussian polarimetric clutter models, this paper presents an application of the recent advances in the field of Spherically Invariant Random Vectors (SIRV) m...
160
Voted
OR
2007
Springer
15 years 2 months ago
2007
Springer
The Maximal Covering Location Problem (MCLP) maximizes the population that has a facility within a maximum travel distance or time. Numerous extensions have been proposed to enhan...
135
Voted
AAAI
2007
15 years 5 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
116
Voted
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...