757 search results - page 108 / 152 » clear 2007 |
87
Voted
JSAT
2008
15 years 14 days ago
2008
We introduce a new jump strategy for look-ahead based satisfiability (Sat) solvers that aims to boost their performance on satisfiable formulae, while maintaining their behavior o...
90
Voted
ELECTRONICMARKETS
2007
15 years 13 days ago
2007
In this paper we present a study that unveils the technological and organizational preferences of various industries towards mobile payment developments in Switzerland. Despite th...
ENGL
2007
15 years 13 days ago
2007
This research introduces a general class of functions serving as generalized neuron models to be used in artificial neural networks. They are cast in the common framework of comp...
74
Voted
ENGL
2007
15 years 13 days ago
2007
— Using computer simulated tests, this study examined direction-of-motion stereotypes and response times for different configurations of lever controls and circular displays. Qua...
ENGL
2007
15 years 13 days ago
2007
— Visually impaired find their navigation difficult as they often lack the needed information for bypassing obstacles and hazards. Electronic Travel Aids (ETAs) are devices that ...