12774 search results - page 2262 / 2555 » A Framework for Proof Systems |
204
click to vote
SEMWEB
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...
216
click to vote
ECCV
2010
Springer
16 years 3 days ago
2010
Springer
Accurately modeling object colors, and features in general, plays a critical role in video segmentation and analysis. Commonly used color models, such as global Gaussian mixtures, ...
158
click to vote
HICSS
2010
IEEE
16 years 2 days ago
2010
IEEE
Knowledge is key to sustainable competitive advantage, but different kinds of knowledge affect competitive advantage differently. This applies especially to the environment of inc...
146
click to vote
APSEC
2003
IEEE
16 years 1 days ago
2003
IEEE
Current IP phone architectures which bring phone services to a distributed open environment are eraltively static and do not scale well. An IP phone environment should be more dyn...
189
click to vote
CLUSTER
2003
IEEE
16 years 1 days ago
2003
IEEE
Process skew is an important factor in the performance of parallel applications, especially in large-scale clusters. Reduction is a common collective operation which, by its natur...