3775 search results - page 114 / 755 » The Expression Problem Revisited |
116
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
123
click to vote
ICMI
2007
Springer
15 years 9 months ago
2007
Springer
Automated analysis of human affective behavior has attracted increasing attention from researchers in psychology, computer science, linguistics, neuroscience, and related discipli...
132
Voted
ISAAC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
122
click to vote
ISMIS
2005
Springer
15 years 9 months ago
2005
Springer
The notion of rules is very popular and appears in different flavors, for example as association rules in data mining or as functional (or multivalued) dependencies in databases. ...
111
click to vote
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
We consider the problem of estimating set-expression cardinality in a distributed streaming environment where rapid update streams originating at remote sites are continually tran...