Sciweavers

400 search results - page 65 / 80
» Towards a practical lipreading system
Sort
View
HICSS
2006
IEEE
111views Biometrics» more  HICSS 2006»
14 years 3 months ago
Can Government Be a Good eBayer? The Use of Online Auctions in the Sale of Surplus Property
E-commerce, and online auctions in particular, represent important examples of how information and communication technologies have been employed by public organizations to gain be...
Enrico Ferro, Lucy Dadayan
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
14 years 3 months ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
AISADM
2005
Springer
14 years 3 months ago
An Architecture for Distributed Agent-Based Data Preprocessing
Advances in agent technologies have fueled interest towards combining agent-based techniques with tools from data mining. Furthermore, the advent of the ubiquitous computing paradi...
Petteri Nurmi, Michael Przybilski, Greger Lind&eac...
AMAST
2004
Springer
14 years 3 months ago
A Generic Software Safety Document Generator
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
Ewen Denney, Ram Prasad Venkatesan
EUROMICRO
2003
IEEE
14 years 3 months ago
Drivers and inhibitors to the development of a software component industry
The idea of component based software systems has a long tradition in the field of software engineering. Component markets have been an integral part of this idea. However, such ma...
Heiko Hahn, Klaus Turowski