7452 search results - page 1125 / 1491 » A Semantics for Multiprocessor Systems |
183
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Serious efforts to develop computerized systems for natural language understanding and machine translation have taken place for more than half a century. Some successful system...
162
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
185
Voted
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Mobile computing technologies and social software have given new challenges to technology-enhanced learning. Simple e-learning system personalization, adaptation and authoring beco...
228
click to vote
GPC
2007
Springer
16 years 29 days ago
2007
Springer
Sharing huge databases in distributed systems is inherently difficult. As the amount of stored data increases, data localization techniques become no longer sufficient. A more ef...
199
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...