2272 search results - page 133 / 455 » Validity Invariants and Effects |
SYNTHESE
2008
13 years 10 months ago
2008
Nancy Cartwright relies upon an inference pattern known as inference to the best causal explanation (IBCE) to support a limited form of entity realism, according to which we are wa...
EJWCN
2010
13 years 5 months ago
2010
Abstract--Wormhole attacks can negatively affect the localization in wireless sensor networks. A typical wormhole attack can be launched by two colluding attackers, one of which sn...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
Segmentation in the surveillance domain has to deal with shadows to avoid distortions when detecting moving objects. Most segmentation approaches dealing with shadow detection are ...
POPL
2006
ACM
14 years 10 months ago
2006
ACM
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...