Sciweavers

5215 search results - page 883 / 1043
» A model of normative power
Sort
View
STOC
1998
ACM
135views Algorithms» more  STOC 1998»
15 years 10 months ago
Checking Polynomial Identities over any Field: Towards a Derandomization?
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...
Daniel Lewin, Salil P. Vadhan
MINAR
1998
Springer
117views Multimedia» more  MINAR 1998»
15 years 10 months ago
Supporting Video Applications Through 4DIS Temporal Framework
Abstract. Video has become an essential component of multimedia applications nowadays. To support multimedia and video applications efciently, video objects must be modeled and str...
Rynson W. H. Lau, Hong Va Leong, Qing Li, Antonio ...
ICSM
1997
IEEE
15 years 10 months ago
Dynamic Traceability Links Supported by a System Architecture Description
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
Eirik Tryggeseth, Øystein Nytrø
MICRO
1997
IEEE
141views Hardware» more  MICRO 1997»
15 years 10 months ago
Unroll-and-Jam Using Uniformly Generated Sets
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...
Steve Carr, Yiping Guan
APN
1997
Springer
15 years 10 months ago
Life-Cycle Inheritance: A Petri-Net-Based Approach
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...
Wil M. P. van der Aalst, Twan Basten