1917 search results - page 210 / 384 » Experimenting with Nonmonotonic Reasoning |
157
Voted
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
167
click to vote
ACL
2010
15 years 5 months ago
2010
Substantial research effort has been invested in recent decades into the computational study and automatic processing of multi-party conversation. While most aspects of conversati...
197
click to vote
FECS
2010
15 years 5 months ago
2010
- With computational tools becoming more integrated into the education experience, the accessibility of college website homepages is becoming increasingly important for several rea...
179
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
A no-reference image metric based on the singular value decomposition of local image gradients is proposed in this paper. This metric provides a quantitative measure of true image...
216
click to vote
IPCO
2010
15 years 5 months ago
2010
We present a branch-and-bound algorithm for minimizing a convex quadratic objective function over integer variables subject to convex constraints. In a given node of the enumerati...