1121 search results - page 205 / 225 » Building Formal Requirements Models for Reliable Software |
COORDINATION
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
RML
2002
14 years 9 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...
89
Voted
COORDINATION
2004
Springer
15 years 2 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
Traditionally, building 3D reconstructions of large scenarios such as a museum or historical site has been costly, time consuming and required the contribution of expert personnel...