3457 search results - page 448 / 692 » A Symbol Is Not a Symbol |
195
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
167
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
192
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
174
click to vote
EUROGP
2010
Springer
15 years 8 months ago
2010
Springer
We present an analysis of the genotype-phenotype map in Grammatical Evolution (GE). The standard map adopted in GE is a depth-first expansion of the non-terminal symbols during the...
171
click to vote
GRC
2010
IEEE
15 years 8 months ago
2010
IEEE
The study of cartoons, manga, and graphic novels is of growing importance to humanity scholars. Managing cartoons for scholarly use presents two challenges: searching and understan...