3971 search results - page 225 / 795 » On the Use of Properties in Java Applications |
207
click to vote
ISAS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
142
click to vote
APLAS
2003
ACM
15 years 11 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
170
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
The purpose of this paper is to investigate the properties of a certain class of highly visible spaces. For a given geometric space C containing obstacles specified by disjoint s...
187
click to vote
JMLR
2008
15 years 6 months ago
2008
In supervised learning, a training set consisting of labeled instances is used by a learning algorithm for generating a model (classifier) that is subsequently employed for decidi...
180
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Detecting homology between remotely related protein families is an important problem in computational biology since the biological properties of uncharacterized protei...