5550 search results - page 878 / 1110 » Different Approaches to Proof Systems |
151
click to vote
WSC
2004
15 years 8 months ago
2004
This paper illustrates the use of simulation for evaluating and analyzing air cargo operations at one of the new stateof-the art cargo facilities at Toronto Pearson Airport. The e...
224
click to vote
SCANGIS
2003
15 years 8 months ago
2003
Although, most of phenomena change over time, there has been an attempt to model the phenomena of real world assuming a static nature for them. Even when changes occurred in the p...
164
click to vote
ECIS
2000
15 years 8 months ago
2000
This paper presents a Web-based, database-oriented set of applications, namely "Public Information" and "Electronic Voting", to support information services (ex...
195
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
We consider the multi-class classification problem, based on vector observation sequences, where the conditional (given class observations) probability distributions for each class...
217
click to vote
ICALT
2010
IEEE
15 years 7 months ago
2010
IEEE
In e-Learning the interest on the use of new kinds of highly-interactive content is increasing. In this regard video games are one of the media that is gaining momentum because of ...