Results 1  10
of
644
Enhanced hypertext categorization using hyperlinks
, 1998
"... A major challenge in indexing unstructured hypertext databases is to automatically extract metadata that enables structured search using topic taxonomies, circumvents keyword ambiguity, and improves the quality of search and profilebased routing and filtering. Therefore, an accurate classifier is ..."
Abstract

Cited by 453 (8 self)
 Add to MetaCart
A major challenge in indexing unstructured hypertext databases is to automatically extract metadata that enables structured search using topic taxonomies, circumvents keyword ambiguity, and improves the quality of search and profilebased routing and filtering. Therefore, an accurate classifier
Nontriviality of the Linear Sigma Model
, 1998
"... We consider techniques (based on an ultraviolet cutoff) used to prove that the pure boson (OE 4 ) 4 field theory is trivial and apply them instead to the dynamically generated quarklevel linear sigma model. This cutoff approach leads to the conclusion that the latter field theory is in fact n ..."
Abstract
 Add to MetaCart
be reanalyzed as well. In the present paper we show that the quarklevel Linear Sigma Model (LoeM) is a nontrivial field theory in contrast with the possibly trivial pure boson (OE 4 ) 4 theory. Prior studies of OE 4 field theory using perturbative and partially nonperturbative methods [24 ] extracted
Extracting TimeAccurate Acceleration Vectors From Nontrivial Accelerometer Arrangements
"... Sportsrelated concussions are of significant concern in many impact sports, and their detection relies on accurate measurements of the head kinematics during impact. Among the most prevalent recording technologies are videography, and more recently, the use of singleaxis accelerometers mounted in ..."
Abstract
 Add to MetaCart
in a helmet, such as the HIT system. Successful extraction of the linear and angular impact accelerations depends on an accurate analysis methodology governed by the equations of motion. Current algorithms are able to estimate the magnitude of acceleration and hit location, but make assumptions about
Program extraction from normalization proofs
 Typed Lambda Calculi and Applications, volume 664 of LNCS
, 1993
"... This paper describes formalizations of Tait’s normalization proof for the simply typed λcalculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs programs are machineextracted that implement variants of the wellknown normalizationbyevaluation algorithm. The case stud ..."
Abstract

Cited by 73 (5 self)
 Add to MetaCart
study is used to test and compare the program extraction machineries of the three proof assistants in a nontrivial setting. 1
Placing Search in Context: The Concept Revisited
, 2001
"... Keywordbased search engines are in widespread use today as a popular means for Webbased information retrieval. Although such systems seem deceptively simple, a considerable amount of skill is required in order to satisfy nontrivial information needs. This paper presents a new conceptual paradigm ..."
Abstract

Cited by 157 (3 self)
 Add to MetaCart
Keywordbased search engines are in widespread use today as a popular means for Webbased information retrieval. Although such systems seem deceptively simple, a considerable amount of skill is required in order to satisfy nontrivial information needs. This paper presents a new conceptual paradigm
Matrix Quantum Mechanics and Twodimensional String Theory in Nontrivial Backgrounds
, 2003
"... String theory is the most promising candidate for the theory unifying all interactions including gravity. It has an extremely difficult dynamics. Therefore, it is useful to study some its simplifications. One of them is noncritical string theory which can be defined in low dimensions. A particular ..."
Abstract
 Add to MetaCart
powerful technique and reveals the integrability hidden in the usual CFT formulation. This thesis extends the matrix model description of 2D string theory to nontrivial backgrounds. We show how perturbations changing the background are incorporated into Matrix Quantum Mechanics. The perturbations
Matrix Quantum Mechanics and Towdimensional String Theory in Nontrivial Backgrounds
, 2003
"... String theory is the most promising candidate for the theory unifying all interactions including gravity. It has an extremely difficult dynamics. Therefore, it is useful to study some its simplifications. One of them is noncritical string theory which can be defined in low dimensions. A particular ..."
Abstract
 Add to MetaCart
powerful technique and reveals the integrability hidden in the usual CFT formulation. This thesis extends the matrix model description of 2D string theory to nontrivial backgrounds. We show how perturbations changing the background are incorporated into Matrix Quantum Mechanics. The perturbations
General Decidability Theorems for InfiniteState Systems
, 1996
"... ) Parosh Aziz Abdulla Uppsala University K¯arlis Cer¯ans University of Latvia Bengt Jonsson Uppsala University YihKuen Tsay National Taiwan University Abstract Over the last few years there has been an increasing research effort directed towards the automatic verification of infinite state sys ..."
Abstract

Cited by 141 (19 self)
 Add to MetaCart
systems. For different classes of such systems (e.g., hybrid automata, dataindependent systems, relational automata, Petri nets, and lossy channel systems) this research has resulted in numerous highly nontrivial algorithms. As the interest in this area increases, it will be important to extract common
Detecting modes with nontrivial dynamics embedded in colored noise: Enhanced Monte Carlo SSA and the case of climate oscillations
, 1998
"... Singular spectrum analysis (SSA) is a useful tool for identification and extraction of oscillatory or other signals from noisy background. Its basic form, however, is reliable when a signal is embedded in white noise, while presence of "colored" noises could lead to spurious results. Recen ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
Singular spectrum analysis (SSA) is a useful tool for identification and extraction of oscillatory or other signals from noisy background. Its basic form, however, is reliable when a signal is embedded in white noise, while presence of "colored" noises could lead to spurious results
On Limitations of Using Rough Set Approach to Analyse NonTrivial Medical Information Systems
"... The rough set theory has been used to analyse medical experience with urolithiasis patients treated by extracorporeal shock wave lithotripsy (ESWL). The aim of this analysis was to evaluate the significance of attributes for two classifications expressing the patients' condition after the ESWL ..."
Abstract
 Add to MetaCart
treatment and to discover strong decision rules representing classification patterns interesting for practitioners. The ESWL information system is an example of nontrivial medical data set where the use of a simple rough set model gives a high number of possible reducts which are impossible to interpret
Results 1  10
of
644