8874 search results - page 308 / 1775 » A New Implementation of Automath |
175
click to vote
RULEML
2007
Springer
16 years 26 days ago
2007
Springer
The focus of this paper is to show that the E-C-A paradigm offers an excellent approach for specifying the behavior of context-aware information push services. Such a service enabl...
134
click to vote
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
This study develops a novel model, GA-SVR, for parameters optimization in support vector regression and implements this new model in a problem forecasting maximum electrical daily...
178
click to vote
ICTAI
2006
IEEE
16 years 23 days ago
2006
IEEE
A new method for optimizing complex functions and systems is described that employs Learnable Evolution Model (LEM), a form of non-Darwinian evolutionary computation guided by mac...
172
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
DNA sequence comparison is a computationally intensive problem, known widely since the competition for human DNA decryption. Database search for DNA sequence comparison is of grea...
166
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...