Sciweavers

1284 search results - page 240 / 257
» On Helping and Interactive Proof Systems
Sort
View
BMCBI
2010
126views more  BMCBI 2010»
13 years 7 months ago
GeneBrowser 2: an application to explore and identify common biological traits in a set of genes
Background: The development of high-throughput laboratory techniques created a demand for computer-assisted result analysis tools. Many of these techniques return lists of genes w...
Joel Arrais, João Fernandes, João Pe...
BMCBI
2007
155views more  BMCBI 2007»
13 years 7 months ago
ProCMD: a database and 3D web resource for protein C mutants
Background: Activated Protein C (ProC) is an anticoagulant plasma serine protease which also plays an important role in controlling inflammation and cell proliferation. Several mu...
Pasqualina D'Ursi, Francesca Marino, Andrea Caprer...
IJISEC
2007
119views more  IJISEC 2007»
13 years 7 months ago
An incentive compatible reputation mechanism for ubiquitous computing environments
The vision of ubiquitous computing is becoming a reality thanks to the advent of portable devices and the advances in wireless networking technologies. It aims to facilitate user ...
Jinshan Liu, Valérie Issarny
IPM
2007
129views more  IPM 2007»
13 years 7 months ago
Examining the effectiveness of real-time query expansion
Interactive query expansion (IQE) (c.f. Efthimiadis, 1996) is a potentially useful technique to help searchers formulate improved query statements, and ultimately retrieve better ...
Ryen W. White, Gary Marchionini
CACM
2002
106views more  CACM 2002»
13 years 7 months ago
Testing and demonstrating context-aware services with Quake III Arena
Developers of context-aware services, i.e. services that make use of sensory information from the environment of their users, often find testing and demonstrating services to be di...
Markus Bylund, Fredrik Espinoza