5973 search results - page 273 / 1195 » Fundamental forms of information |
161
click to vote
ICFEM
2004
Springer
16 years 22 hour ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
167
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
210
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
Classifying an unknown input is a fundamental problem in pattern recognition. A common method is to define a distance metric between patterns and find the most similar pattern i...
172
click to vote
ICPP
2003
IEEE
15 years 12 months ago
2003
IEEE
Pairwise sequence alignment is a fundamental operation for homology search in bioinformatics. For two DNA or protein sequences of length ¢ and £ , full-matrix (FM), dynamic prog...
151
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...