2502 search results - page 352 / 501 » Using probabilistic model checking in systems biology |
128
click to vote
ICVS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Due to stringing time constraints, saliency models are becoming popular tools for building situated robotic systems requiring, for instance, object recognition and vision...
125
Voted
FAST
2008
15 years 7 months ago
2008
The file-system API of contemporary systems makes programs vulnerable to TOCTTOU (time of check to time of use) race conditions. Existing solutions either help users to detect the...
140
click to vote
IIR
2010
15 years 6 months ago
2010
Recommender systems are widely used in E-Commerce for making automatic suggestions of new items that could meet the interest of a given user. Collaborative Filtering approaches co...
132
click to vote
LREC
2008
15 years 6 months ago
2008
Morfette is a modular, data-driven, probabilistic system which learns to perform joint morphological tagging and lemmatization from morphologically annotated corpora. The system i...
113
click to vote
FAST
2008
15 years 7 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...