6047 search results - page 453 / 1210 » Modeling with Extend |
190
click to vote
JMLR
2012
13 years 9 months ago
2012
The Fukushima Daiichi disaster 11 March, 2011 is considered the largest nuclear accident since the 1986 Chernobyl disaster and has been rated at level 7 on the International Nucle...
168
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
An important parameter in analysis of physiological tremor is the diagnosis and study of neurological disorders. The instantaneous tremor frequency (ITF) is an important parameter...
272
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
235
click to vote
CLIMA
2006
15 years 8 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
231
click to vote
JMLR
2010
15 years 5 months ago
2010
We extend the well-known BFGS quasi-Newton method and its memory-limited variant LBFGS to the optimization of nonsmooth convex objectives. This is done in a rigorous fashion by ge...