1146 search results - page 193 / 230 » Semantics of Data Streams and Operators |
127
click to vote
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
126
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
141
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
157
click to vote
IJAR
2007
15 years 4 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
126
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...