Sciweavers

18429 search results - page 280 / 3686
» Typing dynamic typing
Sort
View
MVA
1996
100views Computer Vision» more  MVA 1996»
15 years 8 months ago
Range Data Segmentation with Principal Vectors and Surface Types
A new method for segmenting range data including curved surfaceisproposed.Themethod isbasedonrobust principal vectors calculation using ISL-primary-axis method. First a normal vec...
Takashi Yoshimi, Yoshihiro Kawai, Fumiaki Tomita
CGF
2010
117views more  CGF 2010»
15 years 6 months ago
SafeGI: Type Checking to Improve Correctness in Rendering System Implementation
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...
Jiawei Ou, Fabio Pellacini
CORR
2010
Springer
110views Education» more  CORR 2010»
15 years 6 months ago
Real-Time Alert Correlation with Type Graphs
The premise of automated alert correlation is to accept that false alerts from a low level intrusion detection system are inevitable and use attack models to explain the output in ...
Gianni Tedesco, Uwe Aickelin
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 6 months ago
Join Bayes Nets: A new type of Bayes net for relational data
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
Oliver Schulte, Hassan Khosravi, Flavia Moser, Mar...
ENTCS
2008
175views more  ENTCS 2008»
15 years 6 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu