Sciweavers

18429 search results - page 392 / 3686
» Typing dynamic typing
Sort
View
BIOINFORMATICS
2008
74views more  BIOINFORMATICS 2008»
15 years 5 months ago
Predicting sub-Golgi localization of type II membrane proteins
Aalt D. J. van Dijk, D. Bosch, Cajo J. F. ter Braa...
DCG
2010
97views more  DCG 2010»
15 years 5 months ago
Cech Type Approach to Computing Homology of Maps
A new approach to algorithmic computation of the homology of spaces and maps is presented. The key point of the approach is a change in the representation of sets. The proposed rep...
Marian Mrozek
184
Voted
IDEAL
2010
Springer
15 years 5 months ago
Typed Linear Chain Conditional Random Fields and Their Application to Intrusion Detection
Intrusion detection in computer networks faces the problem of a large number of both false alarms and unrecognized attacks. To improve the precision of detection, various machine l...
Carsten Elfers, Mirko Horstmann, Karsten Sohr, Ott...
IGPL
2010
82views more  IGPL 2010»
15 years 5 months ago
Multimodal and intuitionistic logics in simple type theory
Christoph Benzmüller, Lawrence C. Paulson