Sciweavers

576 search results - page 78 / 116
» What's in a Domain
Sort
View
VAMOS
2010
Springer
13 years 10 months ago
Supporting Stepwise, Incremental Product Derivation in Product Line Requirements Engineering
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
Reinhard Stoiber, Martin Glinz
ICWSM
2008
13 years 10 months ago
BLEWS: Using Blogs to Provide Context for News Articles
An overwhelming number of news articles are available every day via the internet. Unfortunately, it is impossible for us to peruse more than a handful; furthermore it is difficult...
Michael Gamon, Sumit Basu, Dmitriy Belenko, Danyel...
NIPS
2008
13 years 10 months ago
Clustering via LP-based Stabilities
A novel center-based clustering algorithm is proposed in this paper. We first formulate clustering as an NP-hard linear integer program and we then use linear programming and the ...
Nikos Komodakis, Nikos Paragios, Georgios Tziritas
OWLED
2008
13 years 10 months ago
Opening, Closing Worlds - On Integrity Constraints
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
Evren Sirin, Michael Smith, Evan Wallace
AAAI
2006
13 years 10 months ago
Goal Specification, Non-Determinism and Quantifying over Policies
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
Chitta Baral, Jicheng Zhao