Sciweavers

884 search results - page 22 / 177
» Linear-Input Subset Analysis
Sort
View
115
Voted
COMAD
2009
15 years 3 months ago
Epsilon Equitable Partition: A positional analysis method for large social networks
Positional analysis is considered an important tool in the analysis of social networks. It involves partitioning of the set of actors into subsets such that actors in a subset are...
Kiran Kate, Balaraman Ravindran
LFCS
1992
Springer
15 years 6 months ago
Strictness Logic and Polymorphic Invariance
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
P. N. Benton
FLAIRS
1998
15 years 3 months ago
Static Classification Schemes for an Object System
Instance (or object) classification in a knowledgebase managementsystem is the very same problem as view determination in an object DBMS,whereviewsare subsets of classes intension...
Ana Simonet, Michel Simonet, Cyr Gabin Bassolet, X...
VMCAI
2010
Springer
15 years 11 months ago
Shape Analysis with Reference Set Relations
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
Mark Marron, Rupak Majumdar, Darko Stefanovic, Dee...
ICIP
2005
IEEE
16 years 4 months ago
Efficient video mosaicing based on motion analysis
Presenting more comprehensive information than key frame and any subset of frames, mosaic has attracted a growing attention in recent years as a useful element for a variety of vi...
Tao Mei, Xian-Sheng Hua, He-Qin Zhou, Shipeng Li, ...