Sciweavers

3362 search results - page 33 / 673
» A definition of subjective possibility
Sort
View
ICFP
2007
ACM
15 years 11 months ago
Ott: effective tool support for the working semanticist
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
Peter Sewell, Francesco Zappa Nardelli, Scott Owen...
XIMEP
2005
ACM
106views Database» more  XIMEP 2005»
15 years 5 months ago
Combining a Publish and Subscribe Collaboration Architecture with XQuery Approaches
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
M. Brian Blake, David H. Fado, Gregory A. Mack
ASWC
2008
Springer
15 years 1 months ago
Consolidating User-Defined Concepts with StYLiD
Information sharing can be effective with structured data. However, there are several challenges for having structured data on the web. Creating structured concept definitions is ...
Aman Shakya, Hideaki Takeda, Vilas Wuwongse
ICALT
2006
IEEE
15 years 5 months ago
Adaptive e-Learning Methods and IMS Learning Design: An Integrated Approach
This position paper shows how several classical methods in adaptive learning can be addressed using IMS Learning Design. After a definition of four main questions to classify adap...
Daniel Burgos, Marcus Specht
CCCG
2001
15 years 1 months ago
The reflex-free hull
We propose a hull operator, the reflex-free hull, that allows us to define a 3D analogue to bays in polygons. The reflex-free hull allows a rich set of topological types, yet for ...
Hee-Kap Ahn, Siu-Wing Cheng, Otfried Cheong, Jack ...