440 search results - page 78 / 88 » How Do Users Express Goals on the Web |
126
click to vote
ADAPTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Despite the fact that adaptive hypermedia techniques have proven their ability to provide user guidance and orientation in hyperspace, we do not currently see the widespread adopti...
109
Voted
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper reflects different understanding and positions on future trends of GRID-oriented technologies, applications, and networks, as perceived by representatives from industry...
155
Voted
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
122
Voted
ICDE
2010
IEEE
16 years 28 days ago
2010
IEEE
— Multi-criteria decision support (MCDS) is crucial in many business and web applications such as web searches, B2B portals and on-line commerce. Such MCDS applications need to r...
123
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: As biology becomes an increasingly computational science, it is critical that we develop software tools that support not only bioinformaticians, but also bench biologi...