The purpose of the study was to identify educators’ expectations and requirements for the design of educational digital collections for classroom use. A series of five focus gro...
Tamara Sumner, Michael Khoo, Mimi Recker, Mary Mar...
This paper describes a new method for increasing the number and the volume of hexahedral and prism elements in a hexdominant mesh by topological transformations. The method takes ...
— Activity monitoring is an important part of pervasive sensing, particularly for assessing activities of daily living for elderly patients and those with chronic diseases. Previ...
Raza Ali, Louis Atallah, Benny P. L. Lo, Guang-Zho...
Sponsored search auctions provide a marketplace where advertisers can bid for millions of advertising opportunities to promote their products. The main difficulty facing the adver...
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...