Sciweavers

2125 search results - page 201 / 425
» Points with Type-2 Operations
Sort
View
CSL
2001
Springer
15 years 8 months ago
Decidable Navigation Logics for Object Structures
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
Frank S. de Boer, Rogier M. van Eijk
EMMCVPR
2001
Springer
15 years 8 months ago
Averaged Template Matching Equations
By exploiting an analogy with averaging procedures in fluid dynamics, we present a set of averaged template matching equations. These equations are analogs of the exact template m...
Anil N. Hirani, Jerrold E. Marsden, James Arvo
IWANN
2001
Springer
15 years 8 months ago
A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem
Abstract. The Frequency Assignment Problem (FAP) is a very important problem of practical interest. This work compares several evolutionary approaches to this problem, based both i...
Carlos Cotta, José M. Troya
133
Voted
CA
2000
IEEE
15 years 8 months ago
Dynamic Sculpting and Animation of Free-form Subdivision Solids
This paper presents a sculptured solid modeling system founded upon dynamic Catmull-Clark subdivision-based solids of arbitrary topology. Our primary contribution is that we integ...
Kevin T. McDonnell, Hong Qin
HICSS
2000
IEEE
123views Biometrics» more  HICSS 2000»
15 years 8 months ago
An Economic Analysis of the Self Commitment of Thermal Units
Given the load profile of an electricity market and the capabilities of the set of generators supplying power to that market, it is likely that at any given point in time, availab...
Simon Ede, Ray Zimmerman, Timothy Mount, Robert J....