Sciweavers

13734 search results - page 244 / 2747
» Abstractions of data types
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 12 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
CORR
2002
Springer
131views Education» more  CORR 2002»
15 years 6 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann
HVEI
2010
15 years 6 months ago
Preference for art: similarity, statistics, and selling price
Factors governing human preference for artwork have long been studied but there remain many holes in our understanding. Bearing in mind contextual factors (both the conditions und...
Daniel J. Graham, Jay D. Friedenberg, Cyrus H. McC...
EDBT
2006
ACM
156views Database» more  EDBT 2006»
16 years 6 months ago
Constructing a Generic Natural Language Interface for an XML Database
Abstract. We describe the construction of a generic natural language query interface to an XML database. Our interface can accept an arbitrary English sentence as a query, which ca...
Yunyao Li, Huahai Yang, H. V. Jagadish
ALT
2008
Springer
16 years 3 months ago
Exploiting Cluster-Structure to Predict the Labeling of a Graph
Abstract. The nearest neighbor and the perceptron algorithms are intuitively motivated by the aims to exploit the “cluster” and “linear separation” structure of the data to...
Mark Herbster