1984 search results - page 158 / 397 » The colourful feasibility problem |
170
click to vote
ISORC
2006
IEEE
16 years 14 days ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
150
click to vote
ASPDAC
2006
ACM
16 years 13 days ago
2006
ACM
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
121
click to vote
ICMCS
2005
IEEE
16 years 2 days ago
2005
IEEE
Overcoming the semantic-feature gap and adapting to context are two main challenges in content-based retrieval. The problem is even more complicated for unstructured videos such a...
179
click to vote
SPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
142
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often t...