4902 search results - page 434 / 981 » Structures, Semantics and Statistics |
187
click to vote
ROOM
2000
15 years 8 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
165
click to vote
JUCS
2006
15 years 6 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
156
click to vote
PAMI
2006
15 years 6 months ago
2006
In documents, tables are important structured objects that present statistical and relational information. In this paper, we present a robust system which is capable of detecting t...
189
click to vote
JUCS
2010
15 years 5 months ago
2010
: When considering the prediction of a structural class for a protein as a classification problem, usually a classifier is based on a feature vector x ∈ Rn , where the features...
136
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...