Sciweavers

5634 search results - page 721 / 1127
» About Abstract Classes
Sort
View
SIGMOD
2007
ACM
159views Database» more  SIGMOD 2007»
16 years 7 months ago
Anatomy of the ADO.NET entity framework
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
Atul Adya, José A. Blakeley, S. Muralidhar,...
ESORICS
2002
Springer
16 years 6 months ago
TINMAN: A Resource Bound Security Checking System for Mobile Code
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
Aloysius K. Mok, Weijiang Yu
ALT
2001
Springer
16 years 3 months ago
Learning Recursive Functions Refutably
Abstract. Learning of recursive functions refutably means that for every recursive function, the learning machine has either to learn this function or to refute it, i.e., to signal...
Sanjay Jain, Efim B. Kinber, Rolf Wiehagen, Thomas...
ALT
2000
Springer
16 years 3 months ago
On the Noise Model of Support Vector Machines Regression
Abstract. Support Vector Machines Regression (SVMR) is a learning technique where the goodness of fit is measured not by the usual quadratic loss function (the mean square error),...
Massimiliano Pontil, Sayan Mukherjee, Federico Gir...
ICCAD
2003
IEEE
115views Hardware» more  ICCAD 2003»
16 years 3 months ago
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda