4298 search results - page 379 / 860 » Measurable chromatic numbers |
129
click to vote
ISSTA
2006
ACM
16 years 25 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
190
click to vote
VALUETOOLS
2006
ACM
16 years 24 days ago
2006
ACM
Motivated by the need to study traffic flow affected by incidents we consider M/M/C queueing system where servers operate in a Markovian environment. When a traffic incident hap...
191
Voted
AIPR
2005
IEEE
16 years 15 days ago
2005
IEEE
Diffuse Optical Tomography (DOT) poses a typical illposed inverse problem with limited number of measurements and inherently low spatial resolution. In this paper, we propose a hi...
189
Voted
CSB
2005
IEEE
16 years 14 days ago
2005
IEEE
Traditional phylogenetic tree reconstruction is based on point mutations of a single gene. This approach is hardly suitable for genomes whose genes are almost identical and hardly...
186
click to vote
DASFAA
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract. Pattern-based clustering has broad applications in microarray data analysis, customer segmentation, e-business data analysis, etc. However, pattern-based clustering often...