757 search results - page 108 / 152 » clear 2007 |
JSAT
2008
14 years 10 months 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...
ELECTRONICMARKETS
2007
14 years 10 months 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
14 years 10 months 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...
ENGL
2007
14 years 10 months 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
14 years 10 months 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 ...