Sciweavers

4087 search results - page 22 / 818
» Sets in Types, Types in Sets
Sort
View
PROCEDIA
2010
120views more  PROCEDIA 2010»
13 years 3 months ago
A coupled convection-diffusion level set model for tracking epithelial cells in colonic crypts
Colorectal cancer is initiated in colonic crypts as a consequence of alterations leading to the disruption of the normal colonic cellular process. We propose a model, which couple...
Isabel N. Figueiredo, Carlos F. Leal, Tommaso Leon...
POPL
1994
ACM
14 years 25 days ago
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...
Koenraad De Bosschere, Saumya K. Debray, David Gud...
ECOOP
2008
Springer
13 years 10 months ago
Ptolemy: A Language with Quantified, Typed Events
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
Hridesh Rajan, Gary T. Leavens
SIGMETRICS
2002
ACM
142views Hardware» more  SIGMETRICS 2002»
13 years 8 months ago
Exact aggregate solutions for M/G/1-type Markov processes
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...
Alma Riska, Evgenia Smirni
EOR
2006
74views more  EOR 2006»
13 years 8 months ago
A set theoretic framework for enumerating matches in surveys and its application to reducing inaccuracies in vehicle roadside su
This paper describes a framework for analysing matches in multiple data sets. The framework described is quite general and can be applied to a variety of problems where matches ar...
Richard G. Clegg