2303 search results - page 242 / 461 » The Cryptographic Abstract Machine |
150
click to vote
IBPRIA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. By applying recent results in optimization transfer, a new algorithm for kernel Fisher Discriminant Analysis is provided that makes use of a non-smooth penalty on the coe...
184
click to vote
MODELS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
168
click to vote
ACRI
2006
Springer
16 years 13 days ago
2006
Springer
Abstract— We have recently shown that genetically programming game players, after having imbued the evolutionary process with human intelligence, produces human-competitive strat...
184
click to vote
IIIX
2006
ACM
16 years 12 days ago
2006
ACM
Abstract. Use of document genre in information retrieval systems has the potential to improve the task-appropriateness of results. However, genre classification remains a challengi...
195
click to vote
MEMOCODE
2005
IEEE
16 years 19 hour ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...