4036 search results - page 114 / 808 » Formal Methods |
237
click to vote
SSD
1993
Springer
15 years 10 months ago
1993
Springer
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
165
click to vote
FAABS
2004
Springer
15 years 10 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
161
click to vote
JCPHY
2011
14 years 9 months ago
2011
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...