Sciweavers

8647 search results - page 657 / 1730
» The Container Selection Problem
Sort
View
CSL
2009
Springer
15 years 10 months ago
Intersection, Universally Quantified, and Reference Types
The aim of this paper is to understand the interplay between intersection, universally quantified, and reference types. Putting together the standard typing rules for intersection,...
Mariangiola Dezani-Ciancaglini, Paola Giannini, Si...
DAS
2008
Springer
15 years 9 months ago
An Efficient Edge Based Technique for Text Detection in Video Frames
Both graphic text and scene text detection in video images with complex background and low resolution is still a challenging and interesting problem for researchers in the field o...
Palaiahnakote Shivakumara, Weihua Huang, Chew Lim ...
FLOPS
2008
Springer
15 years 8 months ago
Integrating Answer Set Reasoning with Constraint Solving Techniques
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
Veena S. Mellarkod, Michael Gelfond
ASUNAM
2010
IEEE
15 years 8 months ago
Tracking the Evolution of Communities in Dynamic Social Networks
Real-world social networks from a variety of domains can naturally be modelled as dynamic graphs. However, approaches to detecting communities have largely focused on identifying ...
Derek Greene, Dónal Doyle, Padraig Cunningh...
FEWS
2007
15 years 8 months ago
Finding Experts by Link Prediction in Co-authorship Networks
Abstract. Research collaborations are always encouraged, as they often yield good results. However, the researcher network contains massive amounts of experts in various discipline...
Milen Pavlov, Ryutaro Ichise