Sciweavers

3523 search results - page 468 / 705
» Feature interaction in policies
Sort
View
BIBM
2010
IEEE
277views Bioinformatics» more  BIBM 2010»
15 years 4 months ago
Accurate prediction of ATP-binding residues using sequence and sequence-derived structural descriptors
ATP is a ubiquitous nucleotide that provides energy for cellular activities, catalyzes chemical reactions, and is involved in cellular signaling. The knowledge of the ATPprotein in...
Ke Chen 0003, Marcin J. Mizianty, Lukasz A. Kurgan
ICCHP
2010
Springer
15 years 4 months ago
An Open Source / Freeware Assistive Technology Software Inventory
Assistive Technology (AT) software market is expensive, and related products are hard to find, especially for non-English speaking users. Open Source and free AT software partially...
Alexandros Pino, Georgios Kouroupetroglou, Hernisa...
ICCHP
2010
Springer
15 years 4 months ago
Improving Screen Magnification Using the HyperBraille Multiview Windowing Technique
Abstract. Screen magnification is an important means to support visually impaired people when working with computers. Many improvements have been made on appropriate software. But ...
Christiane Taras, Michael Raschke, Thomas Schlegel...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
HAPTICS
2009
IEEE
15 years 4 months ago
A 2D haptic glyph method for tactile arrays : Design and evaluation
We present a new framework for information cue rendering on 2D vibrotactile arrays, and we describe an experiment that investigated the feasibility of our approach. The methods ar...
Christoph W. Borst, Vijay B. Baiyya