Sciweavers

2517 search results - page 242 / 504
» Specifying Weak Sets
Sort
View
ICML
2003
IEEE
16 years 7 months ago
Learning Metrics via Discriminant Kernels and Multidimensional Scaling: Toward Expected Euclidean Representation
Distance-based methods in machine learning and pattern recognition have to rely on a metric distance between points in the input space. Instead of specifying a metric a priori, we...
Zhihua Zhang
ICSE
2009
IEEE-ACM
16 years 7 months ago
Learning operational requirements from goal models
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
Alessandra Russo, Dalal Alrajeh, Jeff Kramer, Seba...
ICSE
2009
IEEE-ACM
16 years 7 months ago
ContextServ: A platform for rapid and flexible development of context-aware Web services
Context-aware Web services are currently emerging as an important technology for building innovative contextaware applications. Unfortunately, context-aware Web services are still...
Quan Z. Sheng, Sam Pohlenz, Jian Yu, Hoi S. Wong, ...
WWW
2004
ACM
16 years 7 months ago
Conceptual Modelling versus Semantic Web: the two sides of the same coin?
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
Oscar Pastor, Joan Fons, Victoria Torres, Vicente ...
ECOOP
2009
Springer
16 years 7 months ago
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
Jan Smans, Bart Jacobs 0002, Frank Piessens