4997 search results - page 50 / 1000 » Genericity - a |
DEBU
2006
13 years 10 months ago
2006
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...
ENTCS
2007
13 years 10 months ago
2007
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...
CORR
2000
Springer
13 years 10 months ago
2000
Springer
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...
NETWORK
2007
13 years 9 months ago
2007
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...
CP
2010
Springer
13 years 8 months ago
2010
Springer
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, ...