4493 search results - page 786 / 899 » A Knowledge Recommend System Based on User Model |
162
click to vote
ESWA
2008
15 years 4 months ago
2008
The recent deregulation of telecommunication industry by the Taiwanese government has brought about the acute competition for Internet Service Providers (ISP). Taiwan's ISP i...
183
click to vote
ACHI
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
161
click to vote
TAP
2010
Springer
15 years 2 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
166
Voted
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
148
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...