1180 search results - page 92 / 236 » A generic structure-from-motion framework |
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
EDOC
2009
IEEE
15 years 5 months ago
2009
IEEE
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
CADE
2003
Springer
15 years 10 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...
71
Voted
SECURWARE
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
CAEPIA
2005
Springer
15 years 4 months ago
2005
Springer
When building natural language generation applications it is desireable to have the possibility of assembling modules that use different techniques for each one of the specific g...