Sciweavers

3408 search results - page 410 / 682
» Logic, language, information and computation
Sort
View
PADL
2004
Springer
16 years 4 days ago
An Algebraic Theory of Polymorphic Temporal Media
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
Paul Hudak
TAL
2004
Springer
16 years 4 days ago
Suffixal and Prefixal Morpholexical Relationships of the Spanish
This work is about derivational suffixes, endings and prefixes of the Spanish language, which are useful for the establishment of about 70000 suffixal and 11000 prefixal extended m...
Octavio Santana Suárez, José N. P&ea...
ICSOC
2003
Springer
15 years 12 months ago
Planning and Monitoring the Execution of Web Service Requests
Abstract Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...
189
Voted
ECOOP
1993
Springer
15 years 11 months ago
Type Inference of SELF
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
GIS
2008
ACM
15 years 7 months ago
DRM policies for web map service
Open Digital Rights Language (ODRL) is an extensible language for specifying Rights Policy in the context of Digital Rights Management (DRM) applications. The OpenGIS® Web Map Se...
Alban Gabillon, Patrick Capolsini