1532 search results - page 263 / 307 » Sequence Constraints in Business Modelling and Business Proc... |
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we present a new scheme for detection and tracking of specific objects in a knowledge-based framework. The scheme uses a supervised learning method: Support Vector M...
ECRA
2002
14 years 11 months ago
2002
E-Government reflects current visions for public administrations towards modernization and reorganization. Thereof, online one-stop Government targets the improvement of customer-...
AGILEDC
2004
IEEE
15 years 3 months ago
2004
IEEE
To maximize the velocity of business value delivery, Alistair Cockburn talks of having a process that is "barely sufficient." At Landmark Graphics we developed some guid...
IEEEARES
2009
IEEE
15 years 6 months ago
2009
IEEE
—Security management is about calculated risk and requires continuous evaluation to ensure cost, time and resource effectiveness. Parts of which is to make future-oriented, costb...