4163 search results - page 50 / 833 » Enhancing surgical systems |
AVI
2004
13 years 10 months ago
2004
We present a group recommender system for vacations that helps group members who are not able to communicate synchronously to specify their preferences collaboratively and to arri...
CCS
2009
ACM
14 years 9 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
– As mobile wireless ad hoc networks have different characteristics from wired networks and even from standard wireless networks, there are new challenges related to security iss...
DFT
1999
IEEE
14 years 1 months ago
1999
IEEE
A programmable single-chip multiprocessor system for video coding has been developed. The system is implemented in a high-performance 0.25 m logic/embedded DRAM process. It integr...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...