Sciweavers

1301 search results - page 42 / 261
» Specifications via Realizability
Sort
View
HICSS
2007
IEEE
86views Biometrics» more  HICSS 2007»
14 years 3 months ago
Visualization and Characterization of Stability Swings via GPS-Synchronized Data
: This paper provides a methodology to characterize the accuracy of PMU data (GPS-synchronized) and the applicability of this data for monitoring system stability via visualization...
George J. Cokkinides, A. P. Sakis Meliopoulos, Geo...
ICMCS
2008
IEEE
123views Multimedia» more  ICMCS 2008»
14 years 3 months ago
Scalable data hiding for online textured 3D terrain visualization
A method for 3D scalable visualization, in a client/server environment is presented. The main idea presented in this paper is to increase the quality of 3D visualization for low b...
Khizar Hayat, William Puech, Gilles Gesquiere
ISCAS
2006
IEEE
131views Hardware» more  ISCAS 2006»
14 years 2 months ago
Static generator model for analog power flow computation
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
Aaron St. Leger, Chika O. Nwankpa
COLING
2002
13 years 8 months ago
Towards Automatic Generation of Natural Language Generation Systems
Systems that interact with the user via natural language are in their infancy. As these systems mature and become more complex, it would be desirable for a system developer if the...
John Chen, Srinivas Bangalore, Owen Rambow, Marily...
IANDC
2010
91views more  IANDC 2010»
13 years 7 months ago
Functional interpretations of linear and intuitionistic logic
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
Paulo Oliva