Sciweavers

4212 search results - page 654 / 843
» Rights Expression Languages
Sort
View
ICST
2008
IEEE
16 years 26 days ago
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
IPPS
2008
IEEE
16 years 26 days ago
Parallelized preprocessing algorithms for high-density oligonucleotide arrays
Studies of gene expression using high-density oligonucleotide microarrays have become standard in a variety of biological contexts. The data recorded using the microarray techniqu...
Markus Schmidberger, Ulrich Mansmann
TOOLS
2008
IEEE
16 years 25 days ago
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
Pavel Parizek, Frantisek Plasil
AGILE
2008
Springer
142views GIS» more  AGILE 2008»
16 years 25 days ago
GeoSR: Geographically Explore Semantic Relations in World Knowledge
Methods to determine the semantic relatedness (SR) value between two lexically expressed entities abound in the field of natural language processing (NLP). The goal of such efforts...
Brent Hecht, Martin Raubal
ICDE
2007
IEEE
119views Database» more  ICDE 2007»
16 years 23 days ago
Practical Preference Relations for Large Data Sets
User-defined preferences allow personalized ranking of query results. A user provides a declarative specification of his/her preferences, and the system is expected to use that ...
Kenneth A. Ross, Peter J. Stuckey, Amélie M...