Sciweavers

12946 search results - page 2219 / 2590
» Natural Language Processing
Sort
View
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
15 years 12 months ago
Leveraging dominators for preprocessing QBF
— Many CAD for VLSI problems can be naturally encoded as Quantified Boolean Formulas (QBFs) and solved with QBF solvers. Furthermore, such problems often contain circuitbased in...
Hratch Mangassarian, Bao Le, Alexandra Goultiaeva,...
TAMC
2010
Springer
15 years 12 months ago
Incremental List Coloring of Graphs, Parameterized by Conservation
Incrementally k-list coloring a graph means that a graph is given by adding stepwise one vertex after another, and for each intermediate step we ask for a vertex coloring such that...
Sepp Hartung, Rolf Niedermeier
EH
2002
IEEE
113views Hardware» more  EH 2002»
15 years 11 months ago
Evolution in materio: Looking Beyond the Silicon Box
It is argued that natural evolution is, par excellence, an algorithm that exploits the physical properties of materials. Such an exploitation of the physical characteristics has a...
Julian F. Miller, Keith L. Downing
IPPS
2002
IEEE
15 years 11 months ago
A Framework for Network Management Using Mobile Agents
Conventional network management is based on SNMP and often run in a centralized manner. Although the centralized management approach gives network administrators a flexibility of ...
Manoj Kumar Kona, Cheng-Zhong Xu
202
Voted
WISE
2002
Springer
15 years 11 months ago
A Unified Framework for Clustering Heterogeneous Web Objects
In this paper, we introduce a novel framework for clustering web data which is often heterogeneous in nature. As most existing methods often integrate heterogeneous data into a un...
Hua-Jun Zeng, Zheng Chen, Wei-Ying Ma
« Prev « First page 2219 / 2590 Last » Next »