9405 search results - page 1186 / 1881 » Computing a Model of Set Theory |
208
Voted
CIKM
2003
Springer
16 years 16 days ago
2003
Springer
Currently, stream data processing is an active area of research, which includes everything from algorithms and architectures for stream processing to modelling and analysis of var...
191
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
179
Voted
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We study the concept of bribery in the situation where voters are willing to change their votes as we ask them, but where their prices depend on the nature of the change we reques...
181
Voted
AUTOMATICA
2008
15 years 7 months ago
2008
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
239
Voted
CORR
2011
Springer
15 years 2 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...