5525 search results - page 813 / 1105 » Verification of Model Transformations |
167
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
179
click to vote
MCS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Classifier decision fusion has been shown to act in a manner analogous to the back-projection of Radon transformations when individual classifier feature sets are non o...
169
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
Service-oriented Architectures support the provision, discovery, and usage of services in different application contexts. The Web Service specifications provide a technical founda...
140
click to vote
LREC
2010
15 years 8 months ago
2010
Language resources can be classified under several categories. To be able to query and operate on all (or most of) these categories using a single digital tool would be very helpf...
176
click to vote
NIPS
2008
15 years 8 months ago
2008
Motivated by applications like elections, web-page ranking, revenue maximization etc., we consider the question of inferring popular rankings using constrained data. More specific...