6018 search results - page 351 / 1204 » Factored Translation Models |
149
click to vote
EJWCN
2010
15 years 1 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
165
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Script identification has always been a topic of much research interest in the field of document analysis. The accurate determination of the identity of the script is paramount to...
156
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Piezoelectric cantilevers have proved their performances for actuating microgrippers dedicated to micromanipulation and microassembly tasks. While the control of one degree-of-...
256
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
150
click to vote
FIMH
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Long term responses of the heart to e.g. infarction or surgical intervention are related to response of the tissue to changes in the mechanical environment. The tissue re...