955 search results - page 114 / 191 » Model Checking Operator Procedures |
122
Voted
ICDE
2009
IEEE
14 years 10 months ago
2009
IEEE
Data provenance is information that describes how a given data item was produced. The provenance includes source and intermediate data as well as the transformations involved in pr...
119
Voted
ICUMT
2009
14 years 10 months ago
2009
Traditional routing strategies for multi-hop wireless networks forward packets by selecting at the sender side the next hop for each packet. Recently, such a paradigm has been call...
104
Voted
PARLE
1992
15 years 4 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
111
click to vote
RANLP
2003
15 years 2 months ago
2003
Despite its state-of-the-art performance, the Data Oriented Parsing (DOP) model has been shown to suffer from biased parameter estimation, and the good performance seems more the ...
101
Voted
DAGSTUHL
2003
15 years 2 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...