626 search results - page 96 / 126 » Power Control for User Cooperation |
113
click to vote
CA
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a sculptured solid modeling system founded upon dynamic Catmull-Clark subdivision-based solids of arbitrary topology. Our primary contribution is that we integ...
125
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
101
click to vote
ISSA
2008
15 years 3 months ago
2008
"The state of information security as a whole is a disaster, a train wreck". This view is given by Forte and Power (2007) describing the state of information security to...
ANLP
2000
15 years 3 months ago
2000
This paper describes an application of APE (the Atlas Planning Engine), an integrated planning and execution system at the heart of the Atlas dialogue management system. APE contr...
119
Voted
AVI
2000
15 years 3 months ago
2000
This paper proposes a framework for easily integrating and controlling information visualization (infoVis) components within web pages to create powerful interactive "live&qu...