2253 search results - page 30 / 451 » Computing with Realizational Morphology |
ECCV
2006
Springer
15 years 7 months ago
2006
Springer
GD
2004
Springer
15 years 9 months ago
2004
Springer
We prove that the number of distinct weaving patterns produced by n semi-algebraic curves in R3 defined coordinate-wise by polynomials of degrees bounded by some constant d, is b...
162
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
125
click to vote
EUROCRYPT
2009
Springer
16 years 4 months ago
2009
Springer
Currently, there are relatively few instances of "hash-and-sign" signatures in the standard model. Moreover, most current instances rely on strong and less studied assum...
136
click to vote
EDOC
2009
IEEE
15 years 7 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...