1813 search results - page 221 / 363 » Calculi of Approximation Spaces |
152
click to vote
CGI
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a system to analyze the reachability of the human body. The inverse kinematics technique is employed to find which regions of space are reachable using a certa...
140
click to vote
VISUALIZATION
1995
IEEE
15 years 8 months ago
1995
IEEE
Maximum projection is a volume rendering technique that, for each pixel, finds the maximum intensity along a projector. For certain important classes of data, this is an approxim...
151
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
113
click to vote
AAAI
2010
15 years 6 months ago
2010
Automatically constructing novel representations of tasks from analysis of state spaces is a longstanding fundamental challenge in AI. I review recent progress on this problem for...
114
click to vote
ESANN
2007
15 years 6 months ago
2007
This paper presents our Recurrent Control Neural Network (RCNN), which is a model-based approach for a data-efficient modelling and control of reinforcement learning problems in di...