Sciweavers

5215 search results - page 237 / 1043
» A model of normative power
Sort
View
CVPR
2012
IEEE
13 years 9 months ago
Weak attributes for large-scale image retrieval
Attribute-based query offers an intuitive way of image retrieval, in which users can describe the intended search targets with understandable attributes. In this paper, we develop...
Felix X. Yu, Rongrong Ji, Ming-Hen Tsai, Guangnan ...
ICCAD
1994
IEEE
139views Hardware» more  ICCAD 1994»
15 years 11 months ago
Switching activity analysis considering spatiotemporal correlations
This work presents techniques for computing the switching activities of all circuit nodes under pseudorandom or biased input sequences and assuming a zero delay mode of operation....
Radu Marculescu, Diana Marculescu, Massoud Pedram
SIGKDD
2002
93views more  SIGKDD 2002»
15 years 6 months ago
A Perspective on Inductive Databases
Inductive databases tightly integrate databases with data mining. The key ideas are that data and patterns (or models) are handled in the same way and that an inductive query lang...
Luc De Raedt
WSC
2000
15 years 8 months ago
VisualSLX: an open user shell for high-performance modeling and simulation
SLX by Wolverine software is actually one of the fastest simulation languages. Besides the high performance the SLX-compiler can be extended very easily by user specific syntax ru...
Thomas Wiedemann
ENTCS
2008
134views more  ENTCS 2008»
15 years 7 months ago
A Stack-Slicing Algorithm for Multi-Core Model Checking
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantag...
Gerard J. Holzmann