5630 search results - page 304 / 1126 » Computability in Specification |
192
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents protocols and strategies for coalition formation with incomplete information under time constraints. It focuses on strategies for coalition members to distribu...
174
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Current multi-display environments (MDEs) can be composed of displays with different characteristics (e.g. resolution, size) located in any position and at different angl...
158
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- It is expected from a Future Internet that a multitude of networks will coexist and complement each other. Such environment allows to run specialized networks possibly p...
195
click to vote
LISP
2008
15 years 6 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
148
click to vote
NAACL
2010
15 years 4 months ago
2010
For millions of people in less resourced regions of the world, text messages (SMS) provide the only regular contact with their doctor. Classifying messages by medical labels suppo...