Sciweavers

42738 search results - page 8497 / 8548
» Search Computing Systems
Sort
View
104
Voted
AI
2010
Springer
15 years 21 days ago
Automatically generating personalized user interfaces with Supple
Today's computer-human interfaces are typically designed with the assumption that they are going to be used by an able-bodied person, who is using a typical set of input and ...
Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbr...
ANOR
2010
112views more  ANOR 2010»
15 years 21 days ago
The Multi-Story Space Assignment Problem
-- The Multi-Story Space Assignment Problem (MSAP) is an innovative formulation of the multi-story facility assignment problem that allows one to model the location of departments ...
Peter M. Hahn, J. MacGregor Smith, Yi-Rong Zhu
79
Voted
APAL
2010
115views more  APAL 2010»
15 years 21 days ago
Kripke semantics for provability logic GLP
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
Lev D. Beklemishev
AROBOTS
2010
180views more  AROBOTS 2010»
15 years 21 days ago
Reactive direction control for a mobile robot: a locust-like control of escape direction emerges when a bilateral pair of model
Locusts possess a bilateral pair of uniquely identifiable visual neurons that respond vigorously to the image of an approaching object. These neurons are called the lobula giant m...
Shigang Yue, Roger D. Santer, Yoshifumi Yamawaki, ...
110
Voted
BMCBI
2010
156views more  BMCBI 2010»
15 years 21 days ago
Global screening of potential Candida albicans biofilm-related transcription factors via network comparison
Background: Candida albicans is a commonly encountered fungal pathogen in humans. The formation of biofilm is a major virulence factor in C. albicans pathogenesis and is related t...
Yu-Chao Wang, Chung-Yu Lan, Wen-Ping Hsieh, Luis A...
« Prev « First page 8497 / 8548 Last » Next »