2694 search results - page 108 / 539 » Frege's New Science |
168
click to vote
Source Code
Built upon the Qt library, the QVision is an image processing and computer vision library. It offers a set of image processing and matrix, vector and tensor algebra functions, unde...
119
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The Panko–Halverson Taxonomy of Spreadsheet Risks has been widely used since its creation in the 1990s. This paper revises that taxonomy. It introduces new ways to count cell er...
130
click to vote
APSEC
2008
IEEE
16 years 27 days ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
142
click to vote
HICSS
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper describes a new framework for modeling value network of inter-organization interactions. We propose a set of building blocks elements of the model made of economic enti...
154
click to vote
HICSS
2007
IEEE
16 years 23 days ago
2007
IEEE
Information Technology governance (ITG) which was a relatively new concept in the late 1990s, has gained importance in the 21st century due to factors namely the collapse of Enron...