3725 search results - page 4 / 745 » DLP System Description |
157
Voted
CASC
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. We study continuous dynamical systems defined by autonomous ordinary differential equations, themselves given by parametric rational functions. For such systems, we pro...
167
Voted
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...
124
Voted
FDL
2011
IEEE
14 years 2 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
122
Voted
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
120
click to vote
KR
2000
Springer
15 years 6 months ago
2000
Springer
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...