3937 search results - page 509 / 788 » Questioning Ubiquitous Computing |
176
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
When selecting features with the sequential forward floating selection (SFFS), the "nesting effect" is avoided, which is a common phenomenon if the computationally less ...
164
click to vote
FAC
2010
15 years 4 months ago
2010
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...
257
click to vote
AAMAS
2011
Springer
15 years 1 months ago
2011
Springer
In cooperative multi-agent systems, roles are used as a design concept when creating large systems, they are known to facilitate specialization of agents, and they can help to redu...
199
click to vote
CCIA
2010
Springer
15 years 1 months ago
2010
Springer
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
189
click to vote
TIP
2010
15 years 1 months ago
2010
Imaging plays an important role in experimental fluid dynamics. It is equally important both for scientific research and a range of industrial applications. It is known, however, t...