Sciweavers

7106 search results - page 1046 / 1422
» Restricted Complexity, General Complexity
Sort
View
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ICLP
1997
Springer
15 years 11 months ago
Non-Failure Analysis for Logic Programs
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
Saumya K. Debray, Pedro López-García...
CHI
1996
ACM
15 years 11 months ago
LifeLines: Visualizing Personal Histories
LifeLines provide a general visualization environment for personal histories that can be applied to medical and court records, professional histories and other types of biographic...
Catherine Plaisant, Brett Milash, Anne Rose, Seth ...
IDA
1997
Springer
15 years 11 months ago
How to Find Big-Oh in Your Data Set (and How Not to)
The empirical curve bounding problem is de ned as follows. Suppose data vectors X Y are presented such that E(Y i]) = f(X i]) where f(x) is an unknown function. The problem is to a...
Catherine C. McGeoch, Doina Precup, Paul R. Cohen
177
Voted
KDD
1997
ACM
143views Data Mining» more  KDD 1997»
15 years 11 months ago
Anytime Exploratory Data Analysis for Massive Data Sets
Exploratory data analysis is inherently an iterative, interactive endeavor. In the context of massive data sets, however, many current data analysis algorithms will not scale appr...
Padhraic Smyth, David Wolpert
« Prev « First page 1046 / 1422 Last » Next »