2016 search results - page 33 / 404 » Megamaps: Construction and Examples |
AAMAS
2008
Springer
13 years 8 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
JCT
2007
13 years 8 months ago
2007
We give the first known examples of 6-sparse Steiner triple systems by constructing 29 such systems in the residue class 7 modulo 12, with orders ranging from 139 to 4447. We the...
SIGCSE
1994
ACM
14 years 17 days ago
1994
ACM
This paper describes instructional tools, LLparse and LRparse, for visualizing and interacting with small examples of LL and LR parsing. These tools can be used to understand the ...
DSL
2009
13 years 6 months ago
2009
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...
CG
2011
Springer
13 years 3 months ago
2011
Springer
In previous work we introduced a construction to produce multiresolutions from given subdivisions. A portion of that construction required solving bilinear equations using a symbo...