57 search results - page 12 / 12 » Heterogeneous Reasoning in Real Arithmetic |
AAAI
1994
13 years 6 months ago
1994
The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific in...
MOBICOM
2010
ACM
13 years 5 months ago
2010
ACM
With widespread popularity of smart phones, more and more users are accessing the Internet on the go. Understanding mobile user browsing behavior is of great significance for seve...