6978 search results - page 1253 / 1396 » On Proofs in System P |
ACSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...
BIBE
2003
IEEE
14 years 2 months ago
2003
IEEE
We examine the organizational impact on phylogenetic databases of the increasing sophistication in the need and use of phylogenetic data. A primary issue is the use of the unnorma...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Franchising has been popular as a growth strategy for small businesses; it is even more so in today’s global and information-based economy. In early 2001, Entrepreneur magazine...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Knowledge management is a topic that has gained increasing attention since the mid-1990s. A knowledge management strategy involves consciously helping people share and put knowled...
ICCV
2003
IEEE
14 years 2 months ago
2003
IEEE
Paracatadioptric sensors combine a parabolic shaped mirror and a camera inducing an orthographic projection. Such a configuration provides a wide field of view while keeping a s...