53327 search results - page 10415 / 10666 » or 2007 |
224
click to vote
WLP
2007
Springer
16 years 24 days ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
183
click to vote
WOLLIC
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
188
click to vote
XPU
2007
Springer
16 years 24 days ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
197
click to vote
ICPR
2006
IEEE
16 years 22 days ago
2006
IEEE
Linear Discriminant Analysis (LDA) is a widely used technique for pattern classification. It seeks the linear projection of the data to a low dimensional subspace where the data ...
145
click to vote
COMPSAC
2005
IEEE
16 years 10 days ago
2005
IEEE
— Over the past several years, the UK Government has piloted several new voting technologies during local authority elections. The mCESG pollsterless Remote Electronic Voting (RE...