549 search results - page 94 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
103
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
90
Voted
KBSE
1998
IEEE
15 years 3 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...
117
click to vote
ESORICS
2009
Springer
15 years 6 months ago
2009
Springer
The increasing availability of space-time trajectories left by location-aware devices is expected to enable novel classes of applications where the discovery of consumable, concise...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Behavior understanding and semantic interpretation of dynamic visual scenes have attracted a lot of attention in computer vision research community. Although the use of surveillan...