1992 search results - page 265 / 399 » Model Based Testing with Labelled Transition Systems |
125
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Motion planning for mobile agents, such as robots, acting in the physical world is a challenging task, which traditionally concerns safe obstacle avoidance. We are interested in p...
159
Voted
KI
2002
Springer
15 years 3 months ago
2002
Springer
While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
226
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we present a method for reformulating the Recommender Systems problem in an Information Retrieval one. In our tests we have a dataset of users who give ratings for s...
156
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
While nonnegative matrix factorization (NMF) has successfully been applied for gain-robust multi-pitch detection, a method to track pitch values over time was not provided. We emb...
155
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
This work achieves full registration of scenes in a large area and creates visual indexes for visualization in a digital city. We explore effective mapping, indexing, and display ...