394 search results - page 12 / 79 » An Abstract Domain of Uninterpreted Functions |
DASFAA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract. This demonstration presents OntoDB, a prototype that allows to store explicitly in the database not only the data, but also the conceptual model defining the structure o...
CICLING
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Classification in genres and domains is a major field of research for Information Retrieval (scientific and technical watch, datamining, etc.) and the selection of app...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...
CRYPTO
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. The Full Domain Hash (FDH) scheme is a RSA-based signature scheme in which the message is hashed onto the full domain of the RSA function. The FDH scheme is provably secu...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper presents a search-based, real-time adaptive solution to the multi-robot coordination problem in adversarial environments. By decomposing the global coordinat...