4036 search results - page 190 / 808 » Formal Methods |
141
click to vote
IJCM
2007
15 years 6 months ago
2007
We present splitting methods for numerically solving a certain class of explicitly time-dependent linear differential equations. Starting from an efficient method for the autonom...
172
click to vote
PRL
2006
15 years 6 months ago
2006
This paper presents a general method for incorporating prior knowledge into kernel methods such as Support Vector Machines. It applies when the prior knowledge can be formalized b...
164
Voted
BCSHCI
2008
15 years 7 months ago
2008
The aim of the tutorial is to help researchers, particularly early career researchers, to develop the appropriate skills to make a useful research contribution to Human-Computer I...
185
click to vote
FORTE
2009
15 years 4 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
149
Voted
ICFCA
2009
Springer
16 years 1 months ago
2009
Springer
This paper revisits the lattice-based thesaurus models which Margaret Masterman used for machine translation in the 1950’s and 60’s. Masterman’s notions are mapped onto moder...