6312 search results - page 1127 / 1263 » A design framework for metaheuristics |
UMUAI
2010
13 years 7 months ago
2010
Conversation is an essential component of social behavior, one of the primary means by which humans express intentions, beliefs, emotions, attitudes and personality. Thus the deve...
UTP
2010
13 years 7 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
ACSD
2010
IEEE
13 years 7 months ago
2010
IEEE
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environm...
CLOUDCOM
2010
Springer
13 years 7 months ago
2010
Springer
Applying Cloud computing techniques for analyzing large data sets has shown promise in many data-driven scientific applications. Our approach presented here is to use Cloud comput...
COLT
2010
Springer
13 years 7 months ago
2010
Springer
Recent advances in large-margin classification of data residing in general metric spaces (rather than Hilbert spaces) enable classification under various natural metrics, such as ...