5550 search results - page 715 / 1110 » Different Approaches to Proof Systems |
232
click to vote
KES
2008
Springer
15 years 7 months ago
2008
Springer
Evolutionary techniques provide powerful tools to design novel solutions for hard problems in different areas. However, the problem of scale (i.e. how to create a large, complex s...
215
click to vote
WOA
2010
15 years 4 months ago
2010
Wireless Sensor Networks (WSNs) are currently emerging as one of the most disruptive technologies enabling and supporting next generation ubiquitous and pervasive computing scenari...
262
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A key problem in using the output of an auditory model as the input to a machine-learning system in a machine-hearing application is to find a good feature-extraction layer. For ...
245
click to vote
FLAIRS
2011
14 years 10 months ago
2011
With an explosion in the proliferation of user-generated content in communities, information overload is increasing and quality of readily available online content is deterioratin...
186
click to vote
IJDST
2011
14 years 10 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...