5525 search results - page 976 / 1105 » Verification of Model Transformations |
218
Voted
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
XML is the data interoperability standard in many application domains. Therefore, an increasing number of researchers and professionals, who are not computer scientists (although ...
211
Voted
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
This paper extends relational processing and optimization to the FISQL/FIRA languages for dynamic schema queries over multidatabases. Dynamic schema queries involve the creation a...
112
Voted
DCC
2008
IEEE
16 years 2 months ago
2008
IEEE
The name `graph state' is used to describe a certain class of pure quantum state which models a physical structure on which one can perform measurement-based quantum computin...
119
click to vote
DCC
2004
IEEE
16 years 2 months ago
2004
IEEE
Abstract: We consider lossy source coding when side information affecting the distortion measure may be available at the encoder, decoder, both, or neither. For example, such disto...
117
click to vote
ALT
2003
Springer
16 years 5 days ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...