5707 search results - page 32 / 1142 » Symbolic Simulation - Techniques and Applications |
IWCMC
2006
ACM
14 years 1 months ago
2006
ACM
This paper introduces a novel symbolic positioning system based on wireless access points and Support Vector Machines. The system works both indoors and outdoors and is cost-effec...
DATE
2002
IEEE
14 years 19 days ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
HPCN
2000
Springer
13 years 11 months ago
2000
Springer
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
ANLP
1994
13 years 9 months ago
1994
The framework we adopted for customizing linguistic knowledge to individual application domains is an integration of symbolic and statistical approaches. In order to acquire domai...
ROBOTICA
2008
13 years 7 months ago
2008
Polyhedral scene analysis studies whether a 2D line drawing of a 3D polyhedron is realizable in the space, and if so, parameterizing the space of all possible realizations. For gen...