1948 search results - page 318 / 390 » Formalizing Mirror Theory |
GIS
2008
ACM
15 years 28 days 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
15 years 3 days 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
15 years 2 days 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...
104
click to vote
SIGCOMM
2010
ACM
15 years 2 days 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...
105
click to vote
AAMAS
2008
Springer
15 years 8 hour 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...