5525 search results - page 976 / 1105 » Verification of Model Transformations |
192
Voted
SIGMOD
2007
ACM
16 years 1 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 ...
189
Voted
SIGMOD
2007
ACM
16 years 1 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...
DCC
2008
IEEE
16 years 22 days 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...
103
Voted
DCC
2004
IEEE
16 years 22 days 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...
97
Voted
ALT
2003
Springer
15 years 10 months 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...