Sciweavers

1052 search results - page 13 / 211
» The Regular Real-Time Languages
Sort
View
ICVGIP
2008
13 years 8 months ago
Real-Time Painterly Rendering of Terrains
We present a non-photo realistic, real-time painterly rendering technique for terrains. The painterly appearance and the impression of terrains is created by effectively rendering...
Shiben Bhattacharjee, P. J. Narayanan
TWC
2008
108views more  TWC 2008»
13 years 7 months ago
Quasi-Optimal Channel Assignment for Real-Time Video in OFDM Wireless Systems
In this paper, real-time video transmission with quality of service (QoS) assurance over orthogonal frequency division multiplexing (OFDM) wireless systems is studied. Three quasi-...
Jun Xu, Xuemin Shen, Jon W. Mark, Jun Cai
IVC
2000
119views more  IVC 2000»
13 years 7 months ago
Real time tracking of borescope tip pose
In this paper we present a technique for tracking borescope tip pose in real-time. While borescopes are used regularly to inspect machinery for wear or damage, knowing the exact l...
Ken Martin, Charles V. Stewart
SIAMCO
2010
97views more  SIAMCO 2010»
13 years 2 months ago
Real-Time Nonlinear Optimization as a Generalized Equation
Abstract. We establish results for the problem of tracking a time-dependent manifold arising in realtime optimization by casting this as a parametric generalized equation. We demon...
Victor M. Zavala, Mihai Anitescu
ARTS
1999
Springer
13 years 11 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano