3191 search results - page 134 / 639 » Qualitative Modeling in Education |
172
Voted
CORR
2009
Springer
15 years 4 months ago
2009
Springer
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
206
click to vote
LREC
2010
15 years 1 months ago
2010
There are many accurate methods for language identification of long text samples, but identification of very short strings still presents a challenge. This paper studies a languag...
CORR
2008
Springer
15 years 7 months ago
2008
Springer
- The goal is the development of a novel principle for the temperature acquisition of refrigerants in CO2 air conditioning systems. The new approach is based on measuring the tempe...
199
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
166
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
: As Grid computing is becoming an inevitable future, managing, scheduling and monitoring dynamic, heterogeneous resources will present new challenges. Solutions will have to be ag...