2308 search results - page 82 / 462 » Representing Symbolic Reasoning |
182
click to vote
SEMWEB
2009
Springer
16 years 24 days ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
197
click to vote
FROCOS
2009
Springer
16 years 25 days ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
176
click to vote
SARA
2009
Springer
16 years 24 days ago
2009
Springer
In this paper, we propose a new approach for solving the SAT problem. This approach consists in representing SAT instances thanks to an undirected graph issued from a polynomial t...
156
click to vote
GBRPR
2007
Springer
16 years 13 days ago
2007
Springer
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics. Graphs are...
168
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...