1116 search results - page 184 / 224 » Applying Predicate Abstraction to Abstract State Machines |
CIBCB
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— We applied Support Vector Machines to the prediction of the subcellular localization of transmembrane proteins, and compared the performance of different sequence kerne...
ICTAC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper, I present the class of linear context free languages (LCFLs) with a class of non-deterministic one-way two-head (read only) automata, called non-determinis...
LOCA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. People rapidly learn the capabilities of a new location, without observing every service and product. Instead they map a few observations to familiar clusters of capabili...
COCOON
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
114
click to vote
EWMF
2005
Springer
15 years 4 months ago
2005
Springer
Web personalization is the process of customizing a web site to the needs of each specific user or set of users. Personalization of a web site may be performed by the provision of ...