Sciweavers

5984 search results - page 171 / 1197
» The Informal Nature of Systems Engineering
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
16 years 1 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
WWW
2009
ACM
16 years 7 months ago
Competitive analysis from click-through log
Existing keyword suggestion tools from various search engine companies could automatically suggest keywords related to the advertisers' products or services, counting in simp...
Gang Wang, Jian Hu, Yunzhang Zhu, Hua Li, Zheng Ch...
IUI
2009
ACM
16 years 3 months ago
Predictive text input in a mobile shopping assistant: methods and interface design
The fundamental nature of grocery shopping makes it an interesting domain for intelligent mobile assistants. Even though the central role of shopping lists is widely recognized, r...
Petteri Nurmi, Andreas Forsblom, Patrik Flor&eacut...
CIKM
2009
Springer
16 years 1 months ago
MRM: an adaptive framework for XML searching
In order to deal with the diversified nature of XML documents as well as individual user preferences, we propose a novel Multiodel (MRM), which is able to abstract a spectrum of i...
Ho Lam Lau, Wilfred Ng
IUI
2003
ACM
15 years 11 months ago
Presenting route instructions on mobile devices
In this paper, we evaluate several means of presenting route instructions to a mobile user. Starting from an abstract languageindependent description of a route segment, we show h...
Christian Kray, Christian Elting, Katri Laakso, Vo...