36320 search results - page 238 / 7264 » From Code to Models |
164
click to vote
SBBD
2004
15 years 8 months ago
2004
We consider matrix index and navigation index approaches to in-memory navigation of persistent object stores. We demonstrate that both approaches can be re-formulated independentl...
169
click to vote
TIT
1998
15 years 6 months ago
1998
—A sequential decoder for linear block codes that performs maximum-likelihood soft-decision decoding is described. The decoder uses a metric computed from a lower bound on the co...
243
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
230
click to vote
AIL
2007
15 years 6 months ago
2007
Legal codes, such as the Uniform Commercial Code (UCC) examined in this article, are good points of entry for AI and ontology work because of their more straightforward adaptabili...
168
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we describe an approach to gathering design requirements for a software auditory display by analyzing user interactions with an ideal partner: a talking human contro...