4047 search results - page 361 / 810 » Some Properties and Some Problems on Set Functors |
170
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
207
click to vote
TSC
2010
15 years 5 months ago
2010
—Web Services are the most famous implementation of service oriented architectures that has brought some challenging research issues. One of these is the composition, i.e. the ca...
141
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a study of position auctions, with an explicit modeling of user navigation through ads. We refer to our model as the PPA model, since it is most applicable in the con...
203
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
161
click to vote
JCDL
2006
ACM
16 years 18 days ago
2006
ACM
Currently in document retrieval there are many algorithms each with different strengths and weakness. There is some difficulty, however, in evaluating the impact of the test quer...