2632 search results - page 427 / 527 » Alternating Timed Automata |
111
click to vote
CAS
2004
15 years 1 months ago
2004
Transportation and its environmental impacts are a major component of urban environmental management. At the same time, transportation and mobility are an important part or urban ...
CCE
2004
15 years 1 months ago
2004
This paper describes an optimization procedure for the synthesis of complex distillation configurations. A superstructure based on the Reversible Distillation Sequence Model (RDSM...
155
click to vote
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Kernel based methods such as Support Vector Machine (SVM) have provided successful tools for solving many recognition problems. One of the reason of this success is the use of ker...
106
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
We investigate the performance of two machine learning algorithms in the context of antispam filtering. The increasing volume of unsolicited bulk e-mail (spam) has generated a nee...
123
click to vote
JAIR
2000
15 years 1 months ago
2000
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...