1804 search results - page 253 / 361 » On set systems with a threshold property |
198
click to vote
PSSS
2003
15 years 7 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
170
click to vote
CDC
2008
IEEE
16 years 25 days ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
161
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
195
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
In current multi-media systems major parts of the functionality consist of software tasks executed on a set of concurrently operating processors. Those tasks interfere with each o...
172
click to vote
SIGECOM
2009
ACM
16 years 26 days ago
2009
ACM
Restricting the preferences of the agents by assuming that their utility functions linearly depend on a payment allows for the positive results of the Vickrey auction and the Vick...