Sciweavers

3319 search results - page 77 / 664
» Type Theoretical Databases
Sort
View
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 1 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
KES
2005
Springer
15 years 3 months ago
Using Relevance Feedback to Learn Both the Distance Measure and the Query in Multimedia Databases
Much of the world’s data is in the form of time series, and many other types of data, such as video, image, and handwriting, can easily be transformed into time series. This fact...
Chotirat (Ann) Ratanamahatana, Eamonn J. Keogh
CAD
2004
Springer
14 years 9 months ago
A concurrent engineering-oriented design database representation model
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
Deyi Xue, Haoguang Yang
SCCC
1997
IEEE
15 years 2 months ago
Write Optimized Object-Oriented Database Systems
In a database system, read operations are much more common than write operations, and consequently, database systems have been read optimized. As the size of main memory increases...
Kjetil Nørvåg, Kjell Bratbergsengen
SCCC
1997
IEEE
15 years 2 months ago
Reactive Ranking for Cooperative Databases
A cooperative database allows the user to specify approximate or vague query conditions. A vague query requires the database system to rank the retrieved answers according to thei...
Berthier A. Ribeiro-Neto, Guilherme T. de Assis