986 search results - page 76 / 198 » Generalized Goal Programming: polynomial methods and applica... |
122
click to vote
CROSSROADS
2008
15 years 4 months ago
2008
O ptimizing embedded applications using a compiler can generally be broken down into two major categories: hand-optimizing code to take advantage of a particular processor's ...
239
click to vote
FOSSACS
2011
Springer
14 years 8 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
126
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
162
click to vote
NIPS
1996
15 years 5 months ago
1996
To obtain classification systems with both good generalizat`ion performance and efficiency in space and time, we propose a learning method based on combinations of weak classifiers...
128
click to vote
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...