6020 search results - page 495 / 1204 » A New Approach to Model Counting |
181
click to vote
BIS
2008
15 years 8 months ago
2008
Abstract. Web 2.0, also known as the Social Web, marks a new philosophy where users are both the main actors and the content producers: users write blogs and comments, they tag, li...
189
click to vote
NIPS
2007
15 years 8 months ago
2007
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (∼1 s); phonemes (...
206
click to vote
NIPS
2001
15 years 8 months ago
2001
This paper presents an unsupervised learning algorithm that can derive the probabilistic dependence structure of parts of an object (a moving human body in our examples) automatic...
207
click to vote
ICSTM
2000
15 years 8 months ago
2000
System Dynamics has had a tough time breaking into High Schools. Like all good ideas the most difficult part is convincing those who would most benefit that this new approach is i...
201
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
— This work is the first attempt to investigate the neural dynamics of a simulated robotic agent engaged in minimally cognitive tasks by employing evolved instances of the Kuram...