6020 search results - page 78 / 1204 » A New Approach to Model Counting |
256
Voted
ICDE
2004
IEEE
16 years 5 months ago
2004
IEEE
Twig queries represent the building blocks of declarative query languages over XML data. A twig query describes a complex traversal of the document graph and generates a set of el...
115
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Current semi-supervised incremental learning approaches select unlabeled examples with predicted high confidence for model re-training. We show that for many applications this dat...
140
Voted
ICTAI
2006
IEEE
15 years 9 months ago
2006
IEEE
During the last decade, sequential pattern mining has been the core of numerous researches. It is now possible to efficiently discover users’ behavior in various domains such a...
127
Voted
WSC
2000
15 years 5 months ago
2000
One use of simulation is to inform decision makers that seek to select the best of several alternative systems. The system with the highest (or lowest) mean value for simulation o...
128
Voted
ECEASST
2008
15 years 3 months ago
2008
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...