Sciweavers

5170 search results - page 816 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
ICMCS
2006
IEEE
167views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Automatic Classification of Field of View in Video
Automatic systems are needed for audiovisual databases to efficiently index, browse, summarize and retrieve, because the amount of stored data is increasing tremendously. Historic...
Maria Ferrer, Mauro Barbieri, Hans Weda
DATE
2005
IEEE
101views Hardware» more  DATE 2005»
16 years 25 days ago
New Perspectives and Opportunities From the Wild West of Microelectronic Biochips
Application of Microelectronic to bioanalysis is an emerging field which holds great promise. From the standpoint of electronic and system design, biochips imply a radical change ...
Nicolò Manaresi, Gianni Medoro, Melanie Abo...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 22 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
CAISE
2005
Springer
16 years 20 days ago
Patterns and metamodel for a natural-language-based requirements specification language
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
Carlos Videira, Alberto Rodrigues da Silva
HICSS
2003
IEEE
140views Biometrics» more  HICSS 2003»
16 years 15 days ago
Electronic Voting: Algorithmic and Implementation Issues
Electronic Transactions over the Internet, particularly using the World Wide Web have become an integral part of economic life. Recently also the public sector has started to use ...
Robert Kofler, Robert Krimmer, Alexander Prosser