15636 search results - page 2772 / 3128 » Modelling by supersaturated designs |
155
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
The process of sequential redundancy identification is the cornerstone of sequential synthesis and equivalence checking frameworks. The scalability of the proof obligations inhere...
183
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
214
click to vote
GROUP
2007
ACM
15 years 11 months ago
2007
ACM
Many approaches to learning and teaching rely upon students working in groups. So far, many Computer-Supported Group Formation systems have been designed to facilitate the formati...
176
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--This paper presents several on-chip antenna structures that may be fabricated with standard CMOS technology for use at millimeter wave frequencies. On-chip antennas for w...
217
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
The problem of building Recommender Systems has attracted considerable attention in recent years, but most recommender systems are designed for recommending items for individuals....