1402 search results - page 261 / 281 » Searching Cycle-Disjoint Graphs |
114
click to vote
ICCAD
2005
IEEE
16 years 26 days ago
2005
IEEE
Clustering (or partitioning) is a crucial step between logic synthesis and physical design in the layout of a large scale design. A design verified at the logic synthesis level m...
137
Voted
ICCAD
2001
IEEE
16 years 25 days ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
142
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
—Topology control in a wireless sensor network is useful for ensuring that the network remains connected in the presence of nodes that exhaust their energy or become altogether d...
125
Voted
CBMS
2009
IEEE
15 years 10 months ago
2009
IEEE
Providing a comprehensive set of relevant information at the point of care is crucial for making correct clinical decisions in a timely manner. Retrieval of scenario specific inf...
107
Voted
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
— Keyword search on relational databases provides users with insights that they can not easily observe using the traditional RDBMS techniques. Here, an l-keyword query is speci...