Sciweavers

4099 search results - page 463 / 820
» First Class Patterns
Sort
View
TCS
2002
15 years 6 months ago
ELAN from a rewriting logic point of view
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
Peter Borovanský, Claude Kirchner, Hé...
TIT
2002
102views more  TIT 2002»
15 years 6 months ago
Asymptotic efficiency of two-stage disjunctive testing
Abstract--We adapt methods originally developed in information and coding theory to solve some testing problems. The efficiency of two-stage pool testing of items is characterized ...
Toby Berger, Vladimir I. Levenshtein
TSE
2002
133views more  TSE 2002»
15 years 6 months ago
Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study
This paper presents an empirical study in an industrial context on the production of software using a framework. Frameworks are semicomplete applications, usually implemented as a ...
Maurizio Morisio, Daniele Romano, Ioannis Stamelos
183
Voted
PAMI
2007
148views more  PAMI 2007»
15 years 6 months ago
Infinitely Divisible Cascades to Model the Statistics of Natural Images
—We propose to model the statistics of natural images, thanks to the large class of stochastic processes called Infinitely Divisible Cascades (IDCs). IDCs were first introduced i...
Pierre Chainais
GIS
2010
ACM
15 years 5 months ago
Scalable shortest paths browsing on land surface
The growing popularity of online Earth visualization tools and geo-realistic games and the availability of high resolution terrain data have motivated a new class of queries to th...
Songhua Xing, Cyrus Shahabi