650 search results - page 123 / 130 » On Coalgebras over Algebras |
181
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...
177
click to vote
ICS
2007
Tsinghua U.
16 years 26 days ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
149
click to vote
MLG
2007
Springer
16 years 25 days ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
173
click to vote
AVSS
2005
IEEE
16 years 10 days ago
2005
IEEE
We introduce a method for recovering the spatial and temporal alignment between two or more views of objects moving over a ground plane. Existing approaches either assume that the...
193
Voted
WOSP
2005
ACM
16 years 8 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...