Sciweavers

13603 search results - page 2384 / 2721
» On the Complexity of Computing Treelength
Sort
View
IJIT
2004
15 years 8 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei
DMDW
2003
269views Management» more  DMDW 2003»
15 years 8 months ago
CASME: A CASE Tool for Spatial Data Marts Design and Generation
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
Hajer Baazaoui Zghal, Sami Faïz, Henda Hajjam...
MSV
2004
15 years 8 months ago
Correctness Criteria for Models' Validation- A Philosophical Perspective
Valid models are central to the existence of Computer science as in most other disciplines, but at what point can one say that a model is valid and hence correct? is often taken t...
Ijeoma Sandra Irobi, Johan Andersson, Anders Wall
IWPT
2001
15 years 8 months ago
Automatic Grammar Partitioning for Syntactic Parsing
Natural language processing technologies offer ease-of-use of computers for average users, and easeof-access to on-line information. Natural language, however, is complex, and the...
Po-Chui Luk, Fuliang Weng, Helen Meng
NIPS
2004
15 years 8 months ago
Parametric Embedding for Class Visualization
In this paper, we propose a new method, Parametric Embedding (PE), for visualizing the posteriors estimated over a mixture model. PE simultaneously embeds both objects and their c...
Tomoharu Iwata, Kazumi Saito, Naonori Ueda, Sean S...
« Prev « First page 2384 / 2721 Last » Next »