Biological data management includes the traditional areas of data generation, acquisition, modelling, integration, and analysis. Although numerous academic biological data managem...
Victor M. Markowitz, Frank Korzeniewski, Krishna P...
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
People are emotional, and machines are not. That constrains their communication, and defines a key challenge for the information sciences. Different groups have addressed it from d...
Determining automatically what constitutes a scene in a video is a challenging task, particularly since there is no precise definition of the term "scene". It is left to...
Rainer Lienhart, Silvia Pfeiffer, Wolfgang Effelsb...
Over the past decade software architecture has received increasing attention as an important subfield of software engineering. During that time there has been considerable progres...