19798 search results - page 3669 / 3960 » Is Structural Subtyping Useful |
190
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
146
Voted
SIGECOM
2006
ACM
15 years 10 months ago
2006
ACM
Finding an equilibrium of an extensive form game of imperfect information is a fundamental problem in computational game theory, but current techniques do not scale to large games...
143
Voted
SMA
2006
ACM
15 years 10 months ago
2006
ACM
We present an efficient and robust algorithm for computing the minimum distance between a point and freeform curve or surface by lifting the problem into a higher dimension. This...
143
click to vote
WIKIS
2006
ACM
15 years 10 months ago
2006
ACM
Wikipedia is the world’s largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its contents are barely machine-interpretable. Structural...
176
click to vote
ECCB
2005
IEEE
15 years 10 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...