Sciweavers

15416 search results - page 267 / 3084
» Embeddings of Computable Structures
Sort
View
KDD
2012
ACM
194views Data Mining» more  KDD 2012»
13 years 8 months ago
A sparsity-inducing formulation for evolutionary co-clustering
Traditional co-clustering methods identify block structures from static data matrices. However, the data matrices in many applications are dynamic; that is, they evolve smoothly o...
Shuiwang Ji, Wenlu Zhang, Jun Liu
154
Voted
ICPADS
2005
IEEE
15 years 11 months ago
Embedded Fingerprint Verification System
Fingerprint verification is one of the most reliable personal identification methods in biometrics. In this paper, an effective fingerprint verification system is presented. We de...
Gwo-Cheng Chao, Shung-Shing Lee, Hung-Chuan Lai, S...
ISSS
2000
IEEE
191views Hardware» more  ISSS 2000»
15 years 9 months ago
Conditional Scheduling for Embedded Systems using Genetic List Scheduling
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
Martin Grajcar
LOGCOM
2006
82views more  LOGCOM 2006»
15 years 5 months ago
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
Jan Broersen, Andreas Herzig, Nicolas Troquard
IPPS
2003
IEEE
15 years 11 months ago
SoCBUS: Switched Network on Chip for Hard Real Time Embedded Systems
With the current trend in integration of more complex systems on chip there is a need for better communication infrastructure on chip that will increase the available bandwidth an...
Daniel Wiklund, Dake Liu