Sciweavers

4997 search results - page 50 / 1000
» Genericity - a
Sort
View
DEBU
2006
85views more  DEBU 2006»
15 years 3 months ago
Generic Entity Resolution in the SERF Project
The SERF project at Stanford deals with the Entity Resolution (ER) problem, in which records determined to represent the same real-life "entities" (such as people or pro...
Omar Benjelloun, Hector Garcia-Molina, Hideki Kawa...
115
Voted
ENTCS
2007
91views more  ENTCS 2007»
15 years 3 months ago
A Logic for Reasoning about Generic Judgments
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
Alwen Tiu
CORR
2000
Springer
138views Education» more  CORR 2000»
15 years 2 months ago
Towards rule-based visual programming of generic visual systems
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
Berthold Hoffmann, Mark Minas
NETWORK
2007
159views more  NETWORK 2007»
15 years 2 months ago
A Generic Framework for Modeling MAC Protocols in Wireless Broadband Access Networks
In this article, we present a simple yet accurate generic analytical model for a family of slotted carrier sense multiple access with collision avoidance (CSMA/CA) based medium ac...
Xinhua Ling, Jon W. Mark, Xuemin Shen, Yu Cheng
CP
2010
Springer
15 years 1 months ago
A Generic Visualization Platform for CP
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, ...
Helmut Simonis, Paul Davern, Jacob Feldman, Deepak...