Sciweavers

4965 search results - page 48 / 993
» A Simple Abstraction for Data Modeling
Sort
View
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 9 months ago
Learning Component Interfaces with May and Must Abstractions
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
Rishabh Singh, Dimitra Giannakopoulou, Corina S. P...
CAV
2003
Springer
188views Hardware» more  CAV 2003»
15 years 9 months ago
Thread-Modular Abstraction Refinement
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
PAKDD
2004
ACM
113views Data Mining» more  PAKDD 2004»
15 years 10 months ago
Logistic Regression and Boosting for Labeled Bags of Instances
Abstract. In this paper we upgrade linear logistic regression and boosting to multi-instance data, where each example consists of a labeled bag of instances. This is done by connec...
Xin Xu, Eibe Frank
UAIS
2010
15 years 4 days ago
Auditory universal accessibility of data tables using naturally derived prosody specification
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
Dimitris Spiliotopoulos, Gerasimos Xydas, Georgios...
TOOLS
1999
IEEE
15 years 9 months ago
On Creation, Equality and the Object Model
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
Michael Kölling, John Rosenberg