Sciweavers

784 search results - page 117 / 157
» Relaxing the Value Restriction
Sort
View
HICSS
2008
IEEE
199views Biometrics» more  HICSS 2008»
16 years 20 days ago
Clustering and the Biclique Partition Problem
A technique for clustering data by common attribute values involves grouping rows and columns of a binary matrix to make the minimum number of submatrices all 1’s. As binary mat...
Doina Bein, Linda Morales, Wolfgang W. Bein, C. O....
IROS
2008
IEEE
100views Robotics» more  IROS 2008»
16 years 18 days ago
Using structures to synchronize cameras of robots swarms
— The synchronization of image sequences acquired by robots swarms is an essential task for localization operations. We address this problem by considering the swarms as dynamic ...
Richard Chang, Sio-Hoi Ieng, Ryad Benosman
ISVLSI
2007
IEEE
181views VLSI» more  ISVLSI 2007»
16 years 15 days ago
Code-coverage Based Test Vector Generation for SystemC Designs
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
Alair Dias Jr., Diógenes Cecilio da Silva J...
143
Voted
SOCA
2007
IEEE
16 years 14 days ago
Static Analysis of Business Artifact-centric Operational Models
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
Cagdas E. Gerede, Kamal Bhattacharya, Jianwen Su
CPAIOR
2007
Springer
16 years 11 days ago
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
Jan-Georg Smaus