7991 search results - page 519 / 1599 » Using More Reasoning to Improve |
191
click to vote
WSC
1998
15 years 8 months ago
1998
Process simulation is a powerful analysis tool used in many industries. It allows companies to be proactive in determining what strategies will be successful. For this reason, man...
163
click to vote
ENTCS
2008
15 years 7 months ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
199
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...
171
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
Motivated by the high cost problem of ternary CAM, we proposed a new technique for providing a compaction routing table. With the comparisons with existing algorithms, our new tec...
177
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...