3547 search results - page 131 / 710 » Computers Seeing People |
144
click to vote
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
192
Voted
DISCO
1993
15 years 8 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
134
Voted
MEMBRANE
2009
Springer
15 years 10 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
136
click to vote
DAC
1998
ACM
15 years 8 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
182
Voted
CLUSTER
2011
IEEE
14 years 3 months ago
2011
IEEE
—For many organizations, one attractive use of cloud resources can be through what is referred to as cloud bursting or the hybrid cloud. These refer to scenarios where an organiz...