11345 search results - page 2003 / 2269 » Foundations of Computer Science |
120
Voted
IMSCCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Multicategory Support Vector Machines (MC-SVM) are powerful classification systems with excellent performance in a variety of biological classification problems. However, the proc...
112
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
122
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
142
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
155
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...