1948 search results - page 318 / 390 » Formalizing Mirror Theory |
GIS
2008
ACM
13 years 11 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...
ACMDIS
2010
ACM
13 years 10 months ago
2010
ACM
Artifacts can be used to inspire, guide, and create new designs. As approaches to design can range from focusing on inspiration to formalized reasoning, we seek to create and stud...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
A consistent backup, preserving data integrity across files in a file system, is of utmost importance for the purpose of correctness and minimizing system downtime during the proc...
AAMAS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...