1804 search results - page 118 / 361 » On set systems with a threshold property |
201
click to vote
RTSS
2007
IEEE
16 years 28 days ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
214
click to vote
SSD
1993
Springer
15 years 10 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
154
click to vote
ICTAI
2007
IEEE
16 years 29 days ago
2007
IEEE
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
171
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
173
click to vote
ECIR
2009
Springer
15 years 4 months ago
2009
Springer
This paper investigates the use of fuzzy logic mechanisms coming from the database community, namely graded inclusions, to model the information retrieval process. In this framewor...