3971 search results - page 502 / 795 » On the Use of Properties in Java Applications |
166
click to vote
AEI
2010
15 years 7 months ago
2010
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
200
click to vote
ASE
2008
15 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
172
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
175
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Various experimental techniques yield peptides that are biologically active but have unfavourable pharmacological properties. The design of structurally similar organi...
167
click to vote
ICCV
2009
IEEE
17 years 6 days ago
2009
IEEE
In this paper we pursue the task of aligning an ensemble
of images in an unsupervised manner. This task has
been commonly referred to as “congealing” in literature.
A form o...