4460 search results - page 648 / 892 » Formal methods for interactive systems |
156
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
We introduce a new method for simulating frictional contact between volumetric objects using interpenetration volume constraints. When applied to complex geometries, our formulati...
154
click to vote
ECIR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we describe an extractive method of creating very short summaries or gists that capture the essence of a news story using a linguistic technique called lexical chaini...
153
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
As services embedded into public spaces become increasingly transparent, one peripheral aspect of use continues to demand explicit user attention: payment. UbiPay is a system that...
102
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
One of the most trying aspects of growing old is the loss of loved ones. Older people often experience depression as a result of this reality. Without regular contact from friends...
144
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...