Sciweavers

2523 search results - page 483 / 505
» Correct Development of Embedded Systems
Sort
View
BIOCOMP
2006
13 years 9 months ago
Surgeon's Magic Wand: A Screen Pointing Interactive Method
: A novel, non-touch, screen pointing "magic wand" interface is proposed for surgeon's use in an environment requiring simultaneous display of several patients'...
Naren Vira, Shaleen Vira
BMCBI
2010
129views more  BMCBI 2010»
13 years 7 months ago
Automatic prediction of catalytic residues by modeling residue structural neighborhood
Background: Prediction of catalytic residues is a major step in characterizing the function of enzymes. In its simpler formulation, the problem can be cast into a binary classific...
Elisa Cilia, Andrea Passerini
BMCBI
2008
156views more  BMCBI 2008»
13 years 7 months ago
ArrayWiki: an enabling technology for sharing public microarray data repositories and meta-analyses
Background: A survey of microarray databases reveals that most of the repository contents and data models are heterogeneous (i.e., data obtained from different chip manufacturers)...
Todd H. Stokes, J. T. Torrance, Henry Li, May D. W...
DEBU
2008
100views more  DEBU 2008»
13 years 7 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
MANSCI
2007
102views more  MANSCI 2007»
13 years 7 months ago
Implications of Renegotiation for Optimal Contract Flexibility and Investment
After entering into supply contracts, firms often later renegotiate the terms of those contracts. For example, firms that obtain market demand information after signing supply c...
Erica L. Plambeck, Terry A. Taylor