3814 search results - page 224 / 763 » YAPI: application modeling for signal processing systems |
140
Voted
UMUAI
2008
15 years 4 months ago
2008
Abstract. Provision of personalized recommendations to users requires accurate modeling of their interests and needs. This paper proposes a general framework and specific methodolo...
146
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a game setting called a joint process, where the history of actions determine the state, and the state and agent properties determine the payoff. This setting is a sp...
185
Voted
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
We demonstrate a system built using probabilistic techniques that allows for remarkably accurate localization across our entire office building using nothing more than the built-...
114
Voted
CEEMAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
174
click to vote
NFM
2011
14 years 11 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...