2165 search results - page 243 / 433 » cases 2005 |
154
click to vote
APPROX
2005
Springer
16 years 12 hour ago
2005
Springer
A q-ary error-correcting code C ⊆ {1, 2, . . . , q}n is said to be list decodable to radius ρ with list size L if every Hamming ball of radius ρ contains at most L codewords o...
200
click to vote
BPM
2005
Springer
16 years 9 hour ago
2005
Springer
Companies are developing a growing interest in aligning their information systems in a process-oriented way. However, current processaware information systems (PAIS) fail to meet p...
162
click to vote
COSIT
2005
Springer
16 years 4 hour ago
2005
Springer
How can the usability of distributed and heterogeneous geographic data sets be enhanced? Semantic interoperability is a prerequisite for effectively finding and accessing relevant ...
135
click to vote
EMO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The optimization and design of two different types of photonic devices - a Fibre Bragg Grating and a Microstructured Polymer Optical Fibre is presented in light of multi...
159
click to vote
SAT
2005
Springer
15 years 12 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...