Sciweavers

AAAI
2010
13 years 5 months ago
Multi-Label Learning with Weak Label
Multi-label learning deals with data associated with multiple labels simultaneously. Previous work on multi-label learning assumes that for each instance, the "full" lab...
Yu-Yin Sun, Yin Zhang, Zhi-Hua Zhou
AMAST
2008
Springer
13 years 6 months ago
Explaining Verification Conditions
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
Ewen Denney, Bernd Fischer 0002
FINTAL
2006
13 years 8 months ago
Selection Strategies for Multi-label Text Categorization
In multi-label text categorization, determining the final set of classes that will label a given document is not trivial. It implies first to determine whether a class is suitable ...
Arturo Montejo Ráez, Luis Alfonso Ure&ntild...
ECAI
1994
Springer
13 years 8 months ago
Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...
Mugur M. Tatar
INFOCOM
2000
IEEE
13 years 8 months ago
Trainet: A New Label Switching Scheme
— Trainet, a new scheme to extend MPLS (Multi Protocol Label Switching) is presented. The scheme works much like the subway system in a large metropolitan area. Each (unidirectio...
Yehuda Afek, Anat Bremler-Barr
GD
2001
Springer
13 years 8 months ago
Labeling Heuristics for Orthogonal Drawings
This paper studies the problem of computing an orthogonal drawing of a graph with labels along the edges. Labels are not allowed to overlap with each other or with edges to which t...
Carla Binucci, Walter Didimo, Giuseppe Liotta, Mad...
SWAT
2010
Springer
269views Algorithms» more  SWAT 2010»
13 years 9 months ago
Approximation Algorithms for Free-Label Maximization
Inspired by air traffic control and other applications where moving objects have to be labeled, we consider the following (static) point labeling problem: given a set P of n points...
Mark de Berg, Dirk H. P. Gerrits
INFOCOM
2003
IEEE
13 years 9 months ago
Exploring the trade-off between label size and stack depth in MPLS Routing
— Multiprotocol Label Switching or MPLS technology is being increasingly deployed by several of the largest Internet service providers to solve problems such as traffic engineer...
Anupam Gupta, Amit Kumar, Rajeev Rastogi
COOPIS
2003
IEEE
13 years 9 months ago
From Where to What: Metadata Sharing for Digital Photographs with Geographic Coordinates
Abstract. We describe LOCALE, a system that allows cooperating information systems to share labels for photographs. Participating photographs are enhanced with a geographic locatio...
Mor Naaman, Andreas Paepcke, Hector Garcia-Molina
3DIM
2005
IEEE
13 years 10 months ago
A Contour-Based Approach to 3D Text Labeling on Triangulated Surfaces
This paper presents a simple and efficient method of forming a 3D text label on a 3D triangulated surface. The label is formed by projecting the 2D contours that define the text...
Gregory G. Slabaugh, Viorel Mihalef, Gozde B. Unal