7847 search results - page 1326 / 1570 » Designing intimate experiences |
204
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
177
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
171
click to vote
TIFS
2010
15 years 1 months ago
2010
Face verification in the presence of age progression is an important problem that has not been widely addressed. In this paper, we study the problem by designing and evaluating dis...
181
click to vote
TITB
2010
15 years 1 months ago
2010
Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is of great importance. The current approach to postmarketing surveillance prim...
190
click to vote
TMM
2010
15 years 1 months ago
2010
Abstract--Early P2P-TV systems have already attracted millions of users, and many new commercial solutions are entering this market. Little information is however available about h...