Sciweavers

3818 search results - page 511 / 764
» Learning from Order Examples
Sort
View
165
Voted
PCI
2001
Springer
15 years 9 months ago
SEISMO-SURFER: A Prototype for Collecting, Querying, and Mining Seismic Data
Earthquake phenomena constitute a rich source of information over the years. Typically, the frequency of earthquakes worldwide is one every second. Collecting and querying seismic ...
Yannis Theodoridis
140
Voted
VLDB
1992
ACM
116views Database» more  VLDB 1992»
15 years 9 months ago
Supporting Lists in a Data Model (A Timely Approach)
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
Joel E. Richardson
108
Voted
ICALP
1990
Springer
15 years 9 months ago
Static Correctness of Hierarchical Procedures
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
Michael I. Schwartzbach
ASPDAC
2007
ACM
129views Hardware» more  ASPDAC 2007»
15 years 9 months ago
ECO-system: Embracing the Change in Placement
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
Jarrod A. Roy, Igor L. Markov
162
Voted
ATAL
2007
Springer
15 years 9 months ago
MAGENTA technology case studies of magenta i-scheduler for road transportation
The paper describes functionality of Magenta Multi-Agent Logistics i-Scheduler Engine presented on AAMAS 2006 conferences and gives examples of its application in business domain....
Petr Skobelev, Andrey Glaschenko, Ilya Grachev, Se...