Sciweavers

4770 search results - page 832 / 954
» Flexible Type Analysis
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
GAMEON
2009
15 years 4 months ago
Explorations in Player Motivations: Game Mechanics
This article, assuming that player motivations are the outcome of continuous player-environment interactions, applies the needs framework of Murray (1938) to a computer game and i...
Barbaros Bostan, Ugur Kaplancali
IFIP12
2009
15 years 4 months ago
User Recommendations based on Tensor Dimensionality Reduction
Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (songs, pictures, web links, products etc.). Social tagging...
Panagiotis Symeonidis
IGARSS
2009
15 years 4 months ago
Active Learning of Hyperspectral Data with Spatially Dependent Label Acquisition Costs
Supervised learners can be used to automatically classify many types of spatially distributed data. For example, land cover classification by hyperspectral image data analysis is ...
Alexander Liu, Goo Jun, Joydeep Ghosh
AISS
2010
147views more  AISS 2010»
15 years 3 months ago
Correlating Lattice Constant of Cubic Perovskites to Atomic Parameters Using Support Vector Regression
Recently, due to problems arising from lattice mismatch in thin film growth in semiconductor manufacturing industry, researchers have shown great interest in modeling the physioch...
Abdul Majid, Yeon Soo Lee