6455 search results - page 371 / 1291 » Research problems |
184
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
198
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
Developing models and methods to manage data vagueness is a current effervescent research field. Some work has been done with supervised problems but unsupervised problems and unce...
208
click to vote
DOCENG
2009
ACM
15 years 10 months ago
2009
ACM
We review the literature on automatic document formatting with an emphasis on recent work in the field. One common way to frame document formatting is as a constrained optimizatio...
170
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
An original approach, termed Divide-and-Evolve is proposed to hybridize Evolutionary Algorithms (EAs) with Operational Research (OR) methods in the domain of Temporal Planning Prob...
141
click to vote
APBC
2003
15 years 8 months ago
2003
Nowadays, biologists use a number of large biological databanks to find relevant information for their research. Users of these databanks face a number of problems. One problem i...