3907 search results - page 237 / 782 » Time, Knowledge, and Choice |
181
click to vote
CAGD
2006
15 years 6 months ago
2006
In this paper we propose a new kind of nonlinear and geometry driven subdivision scheme for curve interpolation. Instead of using linear combination of old vertexes, displacement ...
134
click to vote
ECCC
2006
15 years 6 months ago
2006
Ant Colony Optimization (ACO) has become quite popular in recent years. In contrast to many successful applications, the theoretical foundation of this randomized search heuristic...
216
click to vote
ENTCS
2006
15 years 6 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
155
click to vote
JLP
2008
15 years 6 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
159
click to vote
SIAMSC
2008
15 years 6 months ago
2008
With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a correspon...