2306 search results - page 163 / 462 » Modeling issues in a shipping system |
207
click to vote
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
Ideally, students in K-12 grade levels can turn to book recommenders to locate books that match their interests. Existing book recommenders, however, fail to take into account the...
142
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
168
click to vote
WOA
2000
15 years 7 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
166
click to vote
FTDB
2007
15 years 6 months ago
2007
Database Management Systems (DBMSs) are a ubiquitous and critical component of modern computing, and the result of decades of research and development in both academia and industr...
162
Voted
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...