5232 search results - page 827 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
311
click to vote
CISISSPAIN
2011
14 years 10 months ago
2011
In last decades there have been many proposals from the machine learning community in the intrusion detection field. One of the main problems that Intrusion Detection Systems (IDSs...
163
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Many complex systems, from power grids and the internet, to the brain and society, can be modeled using modular networks. Modules, densely interconnected groups of elements, often...
305
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
191
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We present a novel system that is capable of generating live dense volumetric reconstructions based on input from a micro aerial vehicle. The distributed reconstruction pipeline i...
164
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Large, socially-driven Web 2.0 sites such as Facebook and Youtube have seen significant growth in popularity [5, 10]. However, strong demand also exists for socially-driven web s...