2661 search results - page 400 / 533 » Model Checking Performability Properties |
CIKM
2005
Springer
14 years 3 months ago
2005
Springer
We approached the problem as learning how to order documents by estimated relevance with respect to a user query. Our support vector machines based classifier learns from the rele...
SIGECOM
2004
ACM
14 years 3 months ago
2004
ACM
In many market settings, agents do not know their preferences a priori. Instead, they may have to solve computationally complex optimization problems, query databases, or perform ...
SOFSEM
2004
Springer
14 years 3 months ago
2004
Springer
Recent studies show that state-space dynamics of randomly initialized recurrent neural network (RNN) has interesting and potentially useful properties even without training. More p...
HAPTICS
2003
IEEE
14 years 3 months ago
2003
IEEE
Force-feedback mechanisms have been designed to simplify and enhance the human-vehicle interface. The increase in secondary controls within vehicle cockpits has created a desire f...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...