7404 search results - page 342 / 1481 » New Tools in Education |
181
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Data warehouses are the core of decision support systems, which nowadays are used by all kind of enterprises in the entire world. Although many studies have been conducted on the ...
177
click to vote
EDM
2010
15 years 8 months ago
2010
Curriculum planning is perhaps one of the most important tasks teachers must perform before instruction. While this task is facilitated by a wealth of existing online tools and res...
179
click to vote
LREC
2010
15 years 8 months ago
2010
eScience - enhanced science - is a new paradigm of scientific work and research. In the humanities, eScience environments can be helpful in establishing new workflows and lifecycl...
184
click to vote
SIPS
2008
IEEE
16 years 1 months ago
2008
IEEE
The upcoming Reconfigurable Video Coding (RVC) standard from MPEG (ISO/IEC SC29WG11) defines a library of coding tools to specify existing or new compressed video formats and deco...
185
click to vote
SP
2006
IEEE
16 years 24 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...