8337 search results - page 222 / 1668 » Reasoning With Characteristic Models |
143
click to vote
IJCAI
1989
15 years 7 months ago
1989
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...
159
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
167
click to vote
ECCV
1996
Springer
16 years 7 months ago
1996
Springer
This paper presents a new image-based modeling method that facilitates the recovery of accurate polyhedral models of architectural scenes. The method is particularly e ective becau...
164
click to vote
ANTS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper revisits a model for elliptic curves over Q introduced by Huff in 1948 to study a diophantine problem. Huff's model readily extends over fields of odd cha...
134
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...