4036 search results - page 114 / 808 » Formal Methods |
152
Voted
SIAMDM
2011
14 years 7 months ago
2011
213
click to vote
SSD
1993
Springer
15 years 9 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...
144
click to vote
FAABS
2004
Springer
15 years 8 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...
137
click to vote
JCPHY
2011
14 years 7 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...