1076 search results - page 154 / 216 » Operations on proofs and labels |
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper develops an algorithm to detect abnormalities of small animals' transplanted hearts in MRI, at early stage of rejection when the hearts do not display prominent ab...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
In traditional peer-to-peer search networks, operations focus on properly labeled files such as music or video, and the actual search is often limited to text tags. The explosive ...
EDBTW
2010
Springer
14 years 3 months ago
2010
Springer
While data privacy is a human right, it is challenging to enforce it. For example, if multiple retailers execute a single order at Amazon Marketplace, each retailer can use diffe...
SEMCO
2009
IEEE
14 years 3 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
A genome rearrangement scenario describes a series of chromosome fusion, fission, and translocation operations that suffice to rewrite one genome into another. Exact algorithmic ...