19936 search results - page 89 / 3988 » Inductive process modeling |
127
click to vote
CLEF
2009
Springer
15 years 3 months ago
2009
Springer
This paper investigates a novel approach to unsupervised morphology induction relying on community detection in networks. In a first step, morphological transformation rules are a...
122
Voted
JLP
2007
15 years 2 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
146
Voted
FORMATS
2004
Springer
15 years 6 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...
117
Voted
DELTA
2008
IEEE
15 years 9 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 ...
91
Voted
EOR
2006
15 years 2 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 ...