11030 search results - page 1663 / 2206 » Generative Sound Models |
185
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...
197
click to vote
AAAI
2011
14 years 7 months ago
2011
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
212
click to vote
CANDC
2011
ACM
14 years 7 months ago
2011
ACM
This paper discusses Paradigm, a game of intuition and pattern exploration. We offer a sample case study aimed at illustrating the game’s relevance as a microdomain for studying...
332
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...
199
click to vote
HICSS
2012
IEEE
14 years 2 months ago
2012
IEEE
This research study was designed to broaden understanding of the publishing of research datasets by distinguishing between the intention to share and the action of sharing. The da...