5707 search results - page 289 / 1142 » Symbolic Simulation - Techniques and Applications |
189
click to vote
ESORICS
2010
Springer
15 years 7 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...
151
click to vote
APIN
2010
15 years 6 months ago
2010
Artificial neural networks can be trained to perform excellently in many application areas. While they can learn from raw data to solve sophisticated recognition and analysis prob...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We address the problem of building an index for a set D of n strings, where each string location is a subset of some finite integer alphabet of size , so that we can answer effici...
186
click to vote
AIEDAM
2002
2002
Drawing marks, acts, and reacts: Toward a computational sketching interface for architectural design
15 years 6 months ago
Architects use sketching and diagramming in their design process to perform functional reasoning, formal arrangements, analogy transfer, structure mapping, and knowledge acquisiti...
170
click to vote
MCS
2007
Springer
15 years 6 months ago
2007
Springer
Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those ...