Sciweavers

952 search results - page 131 / 191
» TreeFam: 2008 Update
Sort
View
FORTE
2008
15 years 5 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
IADIS
2008
15 years 5 months ago
Lecomps5: A Web-Based Learning System For Course Personalization And Adaptation
This paper presents Lecomps5, a web-based system for automated course personalization in distance learning environments. This system is an upgraded version of the Lecomps4 system,...
Carla Limongelli, Filippo Sciarrone, Marco Temperi...
ICONIP
2008
15 years 5 months ago
On Weight-Noise-Injection Training
Abstract. While injecting weight noise during training has been proposed for more than a decade to improve the convergence, generalization and fault tolerance of a neural network, ...
Kevin Ho, Chi-Sing Leung, John Sum
ICVGIP
2008
15 years 5 months ago
Visibility Cuts: A System for Rendering Dynamic Virtual Environments
In recent years, the subject of occlusion culling of large 3D environments has received substantial contribution. However the major amount of research into the area has focussed o...
Soumyajit Deb, Ankit Gupta
LREC
2008
155views Education» more  LREC 2008»
15 years 5 months ago
OpenCCG Workbench and Visualization Tool
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...
Thepchai Supnithi, Suchinder Singh, Taneth Ruangra...