5334 search results - page 522 / 1067 » Communicating quantum processes |
189
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
182
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Our proposed software system, SceneMaker, aims to facilitate the production of plays, films or animations by automatically interpreting natural language film scripts an...
187
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In the past, field operations have mostly been a stepchild of information and communication technology (ICT) enabled organizational overhaul and process re-design. Recently, incre...
204
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We deal with consensus-based online estimation and tracking of (non-) stationary signals using ad hoc wireless sensor networks (WSNs). A distributed (D-) least-mean square (LMS) l...
205
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
— The database research community has recently recognized the usefulness of skyline query. As an extension of existing database operator, the skyline query is valuable for multi-...