3799 search results - page 570 / 760 » An Engineering Approach to Formal Methods |
159
click to vote
ICANN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In practice, almost all control systems in use today implement some form of linear control. However, there are many tasks for which conventional control engineering metho...
132
Voted
PRICAI
2004
Springer
15 years 11 months ago
2004
Springer
Search has arguably become the dominant paradigm for finding information on the World Wide Web. In order to build a successful search engine, there are a number of challenges that ...
170
click to vote
AUIC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper a new method for the non-invasive adaptation of user interfaces is presented. The main idea is not to implement the user interface toolkit as an API, but instead as ...
158
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on PDAs or cell phones or by disabled users) by taking a...
173
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Current Web search engines generally impose link analysis-based re-ranking on web-page retrieval. However, the same techniques, when applied directly to small web search such as i...