4224 search results - page 374 / 845 » Reasoning about Choice |
137
click to vote
CHI
2004
ACM
16 years 8 months ago
2004
ACM
Although researchers have begun to explicitly support enduser programmers' debugging by providing information to help them find bugs, there is little research addressing the ...
221
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
190
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
An inherent performance gap between custom designs and ASICs is one of the reasons why many designers still start their designs from register transfer level (RTL) description rath...
172
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
—We exhibit a deterministic concurrent reachability game PURGATORYn with n non-terminal positions and a binary choice for both players in every position so that any positional st...
333
click to vote
ARGMAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. A framework, PISA, for conducting dialogues to resolve disputes concerning the correct categorisation of particular cases, is described. Unlike previous systems to conduc...