Sciweavers

6343 search results - page 438 / 1269
» Development of a Cartographic Language
Sort
View
ECOOP
2010
Springer
15 years 10 months ago
The Use of Overloading in Java Programs
Method overloading is a controversial language feature, especially in the context of Object Oriented languages, where its interaction with overriding may lead to confusing semantic...
Joseph Gil, Keren Lenz
165
Voted
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
15 years 8 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
LREC
2008
150views Education» more  LREC 2008»
15 years 8 months ago
The 2008 Oriental COCOSDA Book Project: in Commemoration of the First Decade of Sustained Activities in Asia
The purpose of Oriental COCOSDA is to provide the Asian community a platform to exchange ideas, to share information and to discuss regional matters on creation, utilization, diss...
Shuichi Itahashi, Chiu-yu Tseng
ACL
2003
15 years 8 months ago
An Intelligent Procedure Assistant Built Using REGULUS 2 and ALTERF
We will demonstrate the latest version of an ongoing project to create an intelligent procedure assistant for use by astronauts on the International Space Station (ISS). The syste...
Manny Rayner, Beth Ann Hockey, James Hieronymus, J...
DLOG
2003
15 years 8 months ago
RDFS(FA): A DL-ised Sub-language of RDFS
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
Jeff Z. Pan, Ian Horrocks