4520 search results - page 213 / 904 » Algebraic Techniques for Timed Systems |
168
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
The efficacy of a tutoring system for pre-algebra instruction plus human tutoring was compared to instruction provided to small groups of middle school students by experienced huma...
193
click to vote
ER
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. As several mature implementations of data warehousing systems are fully operational, a crucial role in preserving their up-to-dateness is played by the ability to manage ...
179
click to vote
DOOD
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This work discusses the CROQUE approach to the maintenance problem for materialized views. In a CROQUE database, application-speci ed collections (type extents or classes...
184
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
The temporal resolution of dynamic MRI can be increased by sampling a fraction of k-space in an interleaved fashion, which causes spatial and temporal aliasing. We describe algebr...
184
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...