1237 search results - page 129 / 248 » Strictness and Totality Analysis |
146
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
In the past decade, energy-efficiency has been an important system design issue in both hardware and software managements. For mobile applications with critical missions, both ene...
171
Voted
EUROSSC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper describes methods and sensor technology used to identify persons from their walking characteristics. We use an array of simple binary switch floor sensors to d...
166
click to vote
FLAIRS
2006
15 years 7 months ago
2006
We propose a real time single item auction based task allocation method for the multi-robot exploration problem and investigate new bid evaluation strategies in this domain. In th...
132
click to vote
WCE
2007
15 years 7 months ago
2007
—The problem of active shielding of some domains from the effect of the sources distributed in other domains is considered. The problem can be formulated either in a bounded dom...
188
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
This paper describes the participation of DAEDALUS at the LogCLEF task. The focus of our experiments was to study if the difference between the native language of the user and the ...