6343 search results - page 467 / 1269 » Development of a Cartographic Language |
202
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
167
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
1799
click to vote
ICECCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
172
click to vote
AHS
2007
IEEE
16 years 1 months ago
2007
IEEE
Since their invention in the 1980s, the logic density of FPGAs has increased exponentially with time. This increase of logic density first led to the development of synthesisable ...
175
Voted
LTCONF
2007
Springer
16 years 29 days ago
2007
Springer
In this paper we present the DANTE system, a tagger for temporal expressions in English documents. DANTE performs both recognition and normalization of these expressions in accord...