7623 search results - page 80 / 1525 » Constructive Volume Modeling |
133
click to vote
FUIN
2000
15 years 2 months ago
2000
We give algorithms to construct the least L-model for a given positive modal logic program P, where L can be one of the modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5. If L...
114
click to vote
CSSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded systems have been used widely promoted by the advancement of semiconductor technology. This also makes embedded system education a challenge for the universities. The cur...
123
click to vote
PKC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, we provide the first committed signature provably secure in the standard complexity model based on the strong RSA assumption. The idea behind the construc...
100
click to vote
ICRA
1995
IEEE
15 years 5 months ago
1995
IEEE
2 Multi-view Integration: A Review We address the problem of constructing a boundary model of an object when the input consists of a set of points that lie on its surface. We assum...
107
Voted
FLAIRS
2006
15 years 3 months ago
2006
A process is described for selecting the subset of internal models needed to perform situation assessment and organizing them in a representation we designate a mental space. A co...