4047 search results - page 676 / 810 » Algebraic Model Checking |
107
Voted
SIAMSC
2008
15 years 2 months ago
2008
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)...
135
Voted
TCS
2008
15 years 2 months ago
2008
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
139
Voted
JSAC
2007
15 years 2 months ago
2007
Abstract— Distributed space-time coding is a means of achieving diversity through cooperative communication in a wireless relay network. In this paper, we consider a transmission...
112
Voted
APAL
2002
15 years 2 months ago
2002
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
98
Voted
CMOT
2002
15 years 2 months ago
2002
Organizational change management is concerned with realizing strategies using models, methods and prescriptions that seek to guide the three key elements of strategic management p...