8486 search results - page 1538 / 1698 » Ordered Enumeration Method |
171
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we embed evolutionary computation into statistical learning theory. First, we outline the connection between large margin optimization and statistical learning and s...
156
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
159
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
177
Voted
CGI
1997
IEEE
15 years 8 months ago
1997
IEEE
In order to achieve the impression of a smooth surface while rendering a polygon mesh, normal vector vectors may be provided in the vertices of the mesh that are the average of th...
181
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...