2702 search results - page 356 / 541 » Practically Applicable Formal Methods |
126
click to vote
CSJM
2006
15 years 2 months ago
2006
Traveling Salesman Problem (TSP) is a generic name that includes diverse practical models. Motivated by applications, a new model of TSP is examined -- a synthesis of classical TS...
124
click to vote
IJVR
2008
15 years 2 months ago
2008
This paper presents an analysis of how and why a new generation of virtual reality peripherals affect virtual reality in general, and its uses for education in particular. We descr...
105
click to vote
JAR
2008
15 years 2 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
137
click to vote
KES
2006
Springer
15 years 2 months ago
2006
Springer
Forecasting exchange rates is an important financial problem that is receiving increasing attention especially because of its difficulty and practical applications. This paper prop...
TCOM
2008
15 years 2 months ago
2008
A simple method of improving OFDM (orthogonal frequency division multiplexing) receiver performance in an impulsive noise environment is to precede a conventional OFDM demodulator...