14056 search results - page 24 / 2812 » Consistency in Model Integration |
155
click to vote
AKA
2004
15 years 5 months ago
2004
: Swiss Re has established an architectural framework, tools, and concepts that enable business people to specify their view of the business in a consistent and formal manner. Base...
114
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...
152
Voted
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
260
Voted
TCSV
2011
14 years 11 months ago
2011
—We present in this paper an integrated solution to rapidly recognizing dynamic objects in surveillance videos by exploring various contextual information. This solution consists...
133
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
- We present an application of a massively parallel processor array VLSI circuit to the implementation of neural networks in complex architectural arrangements. The work was motiva...