Sciweavers

6431 search results - page 352 / 1287
» Model Building by Resolution
Sort
View
157
Voted
HYBRID
2001
Springer
15 years 11 months ago
Semi-decidable Synthesis for Triangular Hybrid Systems
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
Omid Shakernia, George J. Pappas, Shankar Sastry
177
Voted
NLPRS
2001
Springer
15 years 11 months ago
Japanese Information Retrieval Method Using Syntactic and Statistical Information
This paper presents a Japanese information retrieval method using the dependency relationship between words and semantic and statistical information about them. Our method gives a...
Tsunenori Mine, Hiroki Fujitani, Makoto Amamiya
CA
2000
IEEE
15 years 11 months ago
Accurate Collision Response on Polygonal Meshes
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...
Pascal Volino, Nadia Magnenat-Thalmann
CIKM
1999
Springer
15 years 11 months ago
Binary String Relations: A Foundation for Spatiotemporal Knowledge Representation
The paper is concerned with the qualitative representation of spatiotemporal relations. We initially propose a multiresolution framework for the representation of relations among ...
Vasilis Delis, Thanasis Hadzilacos
186
Voted
IMR
1998
Springer
15 years 11 months ago
Boundary Layer Meshing for Viscous Flows in Complex Domains
High reynolds number ow simulations exhibit strong gradients normal to walls and across shear layers requiring much ner resolution of the solution in some directions compared to o...
Rao V. Garimella, Mark S. Shephard