2608 search results - page 126 / 522 » Subjects, Models, Languages, Transformations |
151
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
230
click to vote
ESWS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
174
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
139
click to vote
SCAM
2006
IEEE
16 years 17 hour ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
183
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Recognition of signs in sentences requires a training
set constructed out of signs found in continuous sentences.
Currently, this is done manually, which is a tedious process.
I...