3022 search results - page 392 / 605 » Make Way for WayMaker |
215
Voted
SEMWEB
2005
Springer
16 years 10 days ago
2005
Springer
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...
205
Voted
STACS
2005
Springer
16 years 10 days ago
2005
Springer
Exponential algorithms, i.e. algorithms of complexity O(cn ) for some c > 1, seem to be unavoidable in the case of NP-complete problems (unless P=NP), especially if the problem ...
217
Voted
UML
2005
Springer
16 years 10 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
225
Voted
VLDB
2005
ACM
16 years 10 days ago
2005
ACM
In recent years, the wide availability of personal data has made the problem of privacy preserving data mining an important one. A number of methods have recently been proposed fo...
178
Voted
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...