4894 search results - page 661 / 979 » Choices |
196
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are versions that refer only to functions over the natural ...
146
click to vote
ASSETS
2005
ACM
15 years 8 months ago
2005
ACM
A demo of a biosignal interface, which allows to operate a Windows r PC without using the hands, shall be given. The system – called HaMCoS (for Hands-free Mouse Control System)...
155
click to vote
ISARCS
2010
15 years 8 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
170
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
Dynamic networks appear in several contexts: QoS routing faces the difficult problem of accurately and efficiently maintaining, distributing and updating network state information...
201
click to vote
CRITICAL
2005
15 years 8 months ago
2005
This paper describes an ongoing design experience conducted in the Neonatal Intensive Care Unit for Premature Newborns. The specificity and the delicateness of such a setting prov...