1578 search results - page 92 / 316 » Induction of Stable Models |
145
Voted
KDD
2002
ACM
16 years 4 months ago
2002
ACM
In this paper we propose a scaling-up method that is applicable to essentially any induction algorithm based on discrete search. The result of applying the method to an algorithm ...
156
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
128
Voted
DELTA
2008
IEEE
15 years 10 months ago
2008
IEEE
Analytical compact form models for the signal transient and crosstalk noise of two-coupled RLC lines are developed. Capacitive and inductive coupling effects are investigated and ...
103
Voted
EOR
2006
15 years 3 months ago
2006
We consider multi-period portfolio selection problems for a decision maker with a specified utility function when the variance of security returns is described by a discrete time ...
134
Voted
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
We present a surface representation and a set of algorithms that allow interactive placement of curved parametric objects without interpenetration. Using these algorithms, a model...