4488 search results - page 821 / 898 » Focusing Search by Using Problem Solving Experience |
120
Voted
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
147
click to vote
IWVF
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes a practical system developed for generating 3D models of human heads from silhouettes alone. The input to the system is an image sequence acquired from circula...
150
Voted
ER
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...
141
click to vote
DOCENG
2007
ACM
15 years 8 months ago
2007
ACM
Associative classification, which originates from numerical data mining, has been applied to deal with text data recently. Text data is firstly digitalized to database of transact...
158
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Many SMEs and non-profit organizations suffer when their Web servers become unavailable due to flash crowd effects when their web site becomes popular. One of the solutions to the ...