3212 search results - page 507 / 643 » Definition and modeling of process using object orientation |
155
click to vote
TCS
2008
15 years 4 months ago
2008
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
153
Voted
JUCS
2010
15 years 3 months ago
2010
: Online customer reviews is considered as a significant informative resource which is useful for both potential customers and product manufacturers. In web pages, the reviews are ...
137
click to vote
CF
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
146
click to vote
ICIP
1998
IEEE
16 years 6 months ago
1998
IEEE
In this work, we employ a complex representation for an algebraic curve, and illustrate how the algebraic transformation which relates two Euclidean equivalent curves can be deter...
133
Voted
PERCOM
2003
ACM
16 years 4 months ago
2003
ACM
Pervasive computing environments accommodate interconnected and communicating mobile devices. Mobility is a vital aspect of everyday life and technology must offer support for mov...