Sciweavers

11484 search results - page 633 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
APPINF
2003
15 years 8 months ago
Extracting High-level Architecture from Existing Code with Summary Models
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing compo...
Nikolai Mansurov, Djenana Campara
ENTCS
2010
127views more  ENTCS 2010»
15 years 7 months ago
Combining Model Reductions
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
Ferdinanda Camporesi, Jérôme Feret, H...
ENTCS
2007
99views more  ENTCS 2007»
15 years 7 months ago
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
Alastair F. Donaldson, Alice Miller
GRAPHICSINTERFACE
2009
15 years 5 months ago
Fast visualization of complex 3D models using displacement mapping
We present a simple method to render complex 3D models at interactive rates using real-time displacement mapping. We use an octree to decompose the 3D model into a set of height f...
The-Kiet Lu, Kok-Lim Low, Jianmin Zheng
ICDM
2009
IEEE
183views Data Mining» more  ICDM 2009»
15 years 5 months ago
Multirelational Topic Models
In this paper we propose the multirelational topic model (MRTM) for multiple types of link modeling such as citation and coauthor links in document networks. In the citation networ...
Jia Zeng, William K. Cheung, Chun-hung Li, Jiming ...