4099 search results - page 688 / 820 » A Framework for Interactive Proof |
135
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
127
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In recent years, the field of automatic speaker identification has begun to exploit high-level sources of speaker-discriminative information, in addition to traditional models o...
171
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— Recent advances in the field of humanoid robotics increase the complexity of the tasks that such robots can perform. This makes it increasingly difficult and inconvenient to ...
141
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Nowadays, programmers spend much of their workday dealing with code libraries and frameworks that are bloated with APIs. One common way of interacting with APIs is through Code Co...
138
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
PDE solvers using Adaptive Mesh Refinement on block structured grids are some of the most challenging applications to adapt to massively parallel computing environments. We descr...