3943 search results - page 732 / 789 » Architecture-Level Requirements Specification |
145
click to vote
AAAI
1990
15 years 4 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
116
Voted
IJCAI
1989
15 years 4 months ago
1989
This paper describes a program, called NEWTON, that finds approximate symbolic solutions to parameterized equations in one variable. N E W T O N derives an initial approximation b...
137
Voted
AIPS
2009
15 years 4 months ago
2009
When modeling real-world decision-theoretic planning problems in the Markov decision process (MDP) framework, it is often impossible to obtain a completely accurate estimate of tr...
187
click to vote
APVIS
2009
15 years 4 months ago
2009
In this paper, we propose a stochastic simulation to model and analyze cellular signal transduction. The high number of objects in a simulation requires advanced visualization tec...
136
Voted
APVIS
2009
15 years 4 months ago
2009
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...