6960 search results - page 1210 / 1392 » Continuity Analysis of Programs |
136
Voted
SIGGRAPH
1998
ACM
15 years 7 months ago
1998
ACM
This article introduces new techniques for non-distorted texture mapping on complex triangulated meshes. Texture coordinates are assigned to the vertices of the triangulation by u...
152
click to vote
HYBRID
1998
Springer
15 years 7 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
128
Voted
TIME
1994
IEEE
15 years 7 months ago
1994
IEEE
: In a dynamic, multi-agent environment, an the intelligent agents act as automated pilots automated intelligent agent is often faced with the for the simulated aircraft. These aut...
162
Voted
COLT
1993
Springer
15 years 7 months ago
1993
Springer
The Vapnik-Chervonenkis (V-C) dimension is an important combinatorial tool in the analysis of learning problems in the PAC framework. For polynomial learnability, we seek upper bou...
167
Voted
EKAW
1992
Springer
15 years 7 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...