3798 search results - page 521 / 760 » Automatic creation of user interfaces for information system |
176
click to vote
ECLIPSE
2006
ACM
16 years 19 days ago
2006
ACM
Recent research has shown that developers spend significant amounts of time navigating around code. Much of this time is spent on redundant navigations to code that the developer ...
192
click to vote
LISA
2008
15 years 9 months ago
2008
System administrators regularly use the top utility for understanding the resource consumption of the processes running on UNIX computers. Top provides an accurate and real-time d...
200
click to vote
CLEF
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the experience of QAST 2009, the third time a pilot track of CLEF has been held aiming to evaluate the task of Question Answering in Speech Transcripts. Four ...
222
click to vote
RIAO
2004
15 years 8 months ago
2004
This paper introduces a new approach to provide users with solutions to explore a domain via an information space. A key point in our approach is that information searching and ex...
197
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...