3799 search results - page 307 / 760 » An Engineering Approach to Formal Methods |
294
click to vote
EICS
2011
ACM
14 years 10 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
173
click to vote
JSS
2006
15 years 6 months ago
2006
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...
188
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Searching for people on the Web is one of the most common query types to the web search engines today. However, when a person name is queried, the returned webpages often contain ...
215
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Availability of information about transcription factors (TFs) is crucial for genome biology, as TFs play a central role in the regulation of gene expression. While man...
181
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
Most of the previous work on non-invasive brain-computer interfaces (BCIs) has been focused on feature extraction and classification algorithms to achieve high performance for the...