Sciweavers

932 search results - page 85 / 187
» Where in the Wikipedia Is That Answer
Sort
View
KDD
1997
ACM
72views Data Mining» more  KDD 1997»
14 years 1 months ago
Detecting Atmospheric Regimes Using Cross-Validated Clustering
Low-frequency variability in geopotential height records of the Northern Hemisphere is a topic of significance in atmospheric science, having profound implications for climate mod...
Padhraic Smyth, Michael Ghil, Kayo Ide, Joseph Rod...
SOFSEM
1997
Springer
14 years 1 months ago
Time Optimal Self-Stabilizing Algorithms
: In this paper we rst present a general lower bound on the stabilization time which holds for a number of graph theoretic problems, including leader election, spanning tree constr...
Rastislav Kralovic
ISOOMS
1994
14 years 1 months ago
Quantitative and Qualitative Aspects of Object-Oriented Software Development
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
Gustav Pomberger, Wolfgang Pree
LILOG
1989
14 years 1 months ago
Order Sorted Predicate Logic
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
Arnold Oberschelp
STACS
1989
Springer
14 years 1 months ago
A Generalization of Automatic Sequences
A sequence is said to be k-automatic if the nth term of this sequence is generated by a finite state machine with n in base k as input. Regular sequences were first defined by ...
Jeffrey Shallit