Sciweavers

2880 search results - page 162 / 576
» Types are calling conventions
Sort
View
ICPR
2002
IEEE
15 years 11 months ago
Tangent Distance Kernels for Support Vector Machines
When dealing with pattern recognition problems one encounters different types of a-priori knowledge. It is important to incorporate such knowledge into the classification method ...
Bernard Haasdonk, Daniel Keysers
DASFAA
1999
IEEE
84views Database» more  DASFAA 1999»
15 years 10 months ago
P-Tree: A B-Tree Index for Lists
The high frequency of applications involving large, ordered, nested lists suggests that list is the "next most" natural data type after set. A list differs from a set th...
Ke Wang, Beng Chin Ooi, Sam Yuan Sung
ICFP
1999
ACM
15 years 10 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
CGI
1998
IEEE
15 years 10 months ago
An Architecture of a Universal DBMS for Graphics Applications
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
Andrey Collison, Hanspeter Bieri
VISSYM
2007
15 years 9 months ago
Multiscale Visualization of Dynamic Software Logs
We present a set of techniques and design principles for the visualization of large dynamic software logs consisting of attributed change events, such as obtained from instrumenti...
Sergio Moreta, Alexandru Telea