Sciweavers

5945 search results - page 302 / 1189
» A Model for Projection and Action
Sort
View
FROCOS
2005
Springer
16 years 10 days ago
Combination of Isabelle/HOL with Automatic Tools
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
Sergey Tverdyshev
168
Voted
SIAMSC
2008
113views more  SIAMSC 2008»
15 years 6 months ago
Limited Data X-Ray Tomography Using Nonlinear Evolution Equations
A novel approach to the X-ray tomography problem with sparse projection data is proposed. Non-negativity of the X-ray attenuation coefficient is enforced by modelling it as max{(x)...
Ville Kolehmainen, Matti Lassas, Samuli Siltanen
IJVR
2007
202views more  IJVR 2007»
15 years 6 months ago
Full Solid Angle Panoramic Viewing by Depth Image Warping on Field Programmable Gate Array
—To construct 3D virtual scenes from two-dimensional images with depth information, image warping techniques could be used. In this paper, a novel approach of cylindrical depth i...
Xiaoying Li, Baoquan Liu, Enhua Wu
IJSEKE
2000
90views more  IJSEKE 2000»
15 years 6 months ago
Planning Support to Software Process Evolution
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...
Reidar Conradi, Minh Ngoc Nguyen, Alf Inge Wang, C...
GC
2004
Springer
15 years 10 months ago
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...