868 search results - page 54 / 174 » Finding Most Likely Solutions |
JCDL
2009
ACM
14 years 3 months ago
2009
ACM
A three-part study of teachers’ use of online resources and of the Digital Library for Earth System Education (DLESE) was conducted from 2004 through summer 2006. The first two ...
DAC
2007
ACM
15 years 5 days ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
WWW
2001
ACM
14 years 12 months ago
2001
ACM
Most of the content available on the Web today is not suitable for Wireless devices such as mobile phones or PDAs, which are characterized by small sized display, small memory, lo...
POPL
2002
ACM
14 years 11 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
ALDT
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...