2586 search results - page 76 / 518 » Automatic Abstraction for Congruences |
ICWE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...
IMA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...
IPMI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. An important assessment in patients with ischemic heart disease is whether myocardial contractility may improve after treatment. The prediction of myocardial contractilit...
CIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. It is necessary to analyze an image from CT or MR and then to segment an image of a certain organ from that of other tissues for 3D (ThreeDimensional) visualization. Ther...
ER
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Locating specific chunks (records) of information within documents on the web is an interesting and nontrivial problem. If the problem of locating and separating records...