5451 search results - page 955 / 1091 » Typed Operational Semantics |
134
Voted
CAD
2007
Springer
15 years 3 months ago
2007
Springer
The swept volume of a moving solid is a powerful computational and visualization concept. It provides an excellent aid for path and accessibility planning in robotics and for simu...
145
Voted
INFORMATICALT
2008
15 years 3 months ago
2008
Abstract. The study of databases began with the design of efficient storage and data sharing techniques for large amount of data. This paper concerns the processing of imprecision ...
127
Voted
CLUSTER
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— Software component technologies are being accepted as an adequate solution for handling the complexity of applications. However, existing software component models tend...
128
Voted
JAIR
2008
15 years 3 months ago
2008
Multi-agent planning in stochastic environments can be framed formally as a decentralized Markov decision problem. Many real-life distributed problems that arise in manufacturing,...
116
Voted
IJON
2006
15 years 3 months ago
2006
This paper proposes a neural network model that extracts axes of symmetry from visual patterns. The input patterns can be line drawings, plane figures or gray-scaled natural image...