1045 search results - page 110 / 209 » Stepping into the Interactive Drama |
174
click to vote
LAWEB
2006
IEEE
16 years 12 days ago
2006
IEEE
This work describes an approach for the semi-automatic learning object metadata markup of course’s web pages and their posterior extraction into Scorm Packages. This is identifi...
154
click to vote
CSB
2005
IEEE
16 years 11 hour ago
2005
IEEE
As the first step toward a multi-scale, hierarchical computational approach for membrane protein structure prediction, the packing of transmembrane helices was modeled at the resi...
172
click to vote
IV
2005
IEEE
15 years 12 months ago
2005
IEEE
Lowering computational cost of data analysis and visualization techniques is an essential step towards including the user in the visualization. In this paper we present an improve...
185
click to vote
QSIC
2005
IEEE
15 years 12 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
149
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...