1205 search results - page 157 / 241 » Program Extraction from Large Proof Developments |
143
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
121
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
A practical lipreading system can be considered either as subject dependent (SD) or subject-independent (SI). An SD system is user-specific, i.e., customized for some particular ...
113
click to vote
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...
127
click to vote
ICCV
2007
IEEE
16 years 3 months ago
2007
IEEE
The photorealistic modeling of large-scale objects, such as urban scenes, requires the combination of range sensing technology and digital photography. In this paper, we attack th...