5630 search results - page 347 / 1126 » Computability in Specification |
199
click to vote
3DOR
2009
15 years 8 months ago
2009
When drafting new buildings, architects make intensive use of existing 3D models including building elements, furnishing, and environment elements. These models are either directl...
181
click to vote
ENTCS
2006
15 years 6 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
167
click to vote
APCHI
1998
IEEE
15 years 11 months ago
1998
IEEE
The fundamental challenge for computational media is to contribute to the invention and design of cultures in which humans can express themselves and engage in personally meaningf...
153
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
174
click to vote
CJ
2006
15 years 6 months ago
2006
Aggregate signatures are a useful primitive which allows to aggregate into a single and constant-length signature many signatures on different messages computed by different users...