Sciweavers

1900 search results - page 274 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
WISE
2009
Springer
15 years 7 months ago
Spectral Clustering in Social-Tagging Systems
Social tagging is an increasingly popular phenomenon with substantial impact on the way we perceive and understand the Web. For the many Web resources that are not self-descriptive...
Alexandros Nanopoulos, Hans-Henning Gabriel, Myra ...
SIGIR
2011
ACM
14 years 22 days ago
Fast context-aware recommendations with factorization machines
The situation in which a choice is made is an important information for recommender systems. Context-aware recommenders take this information into account to make predictions. So ...
Steffen Rendle, Zeno Gantner, Christoph Freudentha...
IFM
2009
Springer
132views Formal Methods» more  IFM 2009»
15 years 4 months ago
Decomposition Structures for Event-B
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
Michael Butler
ICCV
2003
IEEE
15 years 3 months ago
Surface Reconstruction from Feature Based Stereo
This paper describes an approach to recovering surface models of complex scenes from the quasi-sparse data returned by a feature based stereo system. The method can be used to mer...
Camillo J. Taylor
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 2 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu