4460 search results - page 318 / 892 » Formal methods for interactive systems |
182
click to vote
SAINT
2003
IEEE
15 years 12 months ago
2003
IEEE
The Call Processing Language (CPL in short, RFC2824) is an XML-based language, which provides a flexible mean to create end-user services in the Internet Telephony (VoIP). Howeve...
167
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
We show that it is feasible to perform interactive isosurfacing of very large rectilinear datasets with brute-force ray tracing on a conventional (distributed) shared-memory multi...
199
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
We propose a method for discovering the dependency relationships between the topics of documents shared in social networks using the latent social interactions, attempting to answ...
147
click to vote
INFSOF
2006
15 years 6 months ago
2006
: Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This pape...
223
click to vote
AROBOTS
2000
15 years 6 months ago
2000
Service robotics is currently a pivotal research area in robotics, with enormous societal potential. Since service robots directly interact with people, nding natural" and ea...