3328 search results - page 382 / 666 » On Plateaued Functions and Their Constructions |
170
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
172
click to vote
REX
1991
15 years 10 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
155
click to vote
OOPSLA
1987
Springer
15 years 10 months ago
1987
Springer
SELF is an object-oriented language for exploratory programming based on a small number of simple and concrete ideas: prototypes, slots, and behavior. Prototypes combine inheritanc...
191
click to vote
PNPM
1987
15 years 10 months ago
1987
Some insight on the meaning of "modeling power" for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or ...
190
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In medical imaging, constructing an atlas and bringing an image set in a single common reference frame may easily lead the analysis to erroneous conclusions, especially when the po...