2517 search results - page 384 / 504 » Specifying Weak Sets |
159
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
151
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
We introduce an active data mining paradigm that combines the recent work in data mining with the rich literature on active database systems. In this paradigm, data is continuousl...
171
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
180
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
180
click to vote
FOIKS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Argumentation is a reasoning model based on the construction and the evaluation of arguments. In his seminal paper, Dung has proe most abstract argumentation framework. I...