9697 search results - page 185 / 1940 » Intelligent Transportation Systems |
126
Voted
SAC
2003
ACM
15 years 10 months ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...
157
click to vote
WCE
2007
15 years 6 months ago
2007
—This paper is concerned with the application of a conversational agent and expert system to provide a natural language interface to a database. Typically, natural language datab...
166
Voted
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
153
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
Recently, there has been a dramatic increase in interactive cloud based software applications (e.g. working on remote machines, online games, interactive websites such as financia...
139
Voted
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...