Sciweavers

2302 search results - page 251 / 461
» Testing as Abstraction
Sort
View
MOC
2002
70views more  MOC 2002»
15 years 6 months ago
Solving norm equations in relative number fields using S-units
Abstract. In this paper, we are interested in solving the so-called norm equation NL/K(x) = a, where L/K is a given arbitrary extension of number fields and a a given algebraic num...
Denis Simon
NPL
1998
175views more  NPL 1998»
15 years 6 months ago
Prediction of Chaotic Time-Series with a Resource-Allocating RBF Network
Abstract. One of the main problems associated with arti cial neural networks online learning methods is the estimation of model order. In this paper, we report about a new approach...
Roman Rosipal, Milos Koska, Igor Farkas
TCSV
2002
151views more  TCSV 2002»
15 years 6 months ago
Object-based video coding by global-to-local motion segmentation
Abstract--In this paper, we describe an object-based video compression scheme based on the derivation and efficient coding of motion boundaries. First, we recursively identify a sm...
Ahsan Shamim, John A. Robinson
TEC
2002
89views more  TEC 2002»
15 years 6 months ago
An immunity-based technique to characterize intrusions in computer networks
Abstract--This paper presents a technique inspired by the negative selection mechanism of the immune system that can detect foreign patterns in the complement (nonself) space. In p...
Fabio A. González, Dipankar Dasgupta
TMI
2002
83views more  TMI 2002»
15 years 6 months ago
Vibro-acoustic Tissue Mammography
Abstract--A novel method for detection and imaging of microcalcifications in breast tissue is presented. The method, called vibro-acoustography, uses the radiation force of ultraso...
Mostafa Fatemi, Lester E. Wold, Azra Alizad, James...