12981 search results - page 2259 / 2597 » Model Checking (Abstract) |
137
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. This paper presents an algorithm to generate a smooth surface between two closed spatial spline curves. With the assumption that the two input curves can be projected to ...
126
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Low-discrepancy point distributions exhibit excellent uniformity properties for sampling in applications such as rendering and measurement. We present an algorithm for ge...
135
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
150
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
AbstractThis paper focuses on human-machine communication with intelligent agents, it proposes a generic architecture with an algorithm for natural language (NL) command interpreta...
177
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract—This paper describes and evaluates a biologically-inspired network architecture that allows grid services to autonomously adapt to dynamic environment changes in the net...