1164 search results - page 89 / 233 » Constructive nonlinear dynamics in process systems engineeri... |
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
119
Voted
AMAST
1995
Springer
15 years 4 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
One of the characteristics of the Human Visual System (HVS) is to model the sensitivity of the human eye at each coordinate location in the image. This paper explores the use of fu...
92
Voted
ICFP
2006
ACM
16 years 18 days ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
94
Voted
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...