Sciweavers

3408 search results - page 410 / 682
» Logic, language, information and computation
Sort
View
PADL
2004
Springer
16 years 24 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
175
Voted
TAL
2004
Springer
16 years 23 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...
203
Voted
ICSOC
2003
Springer
16 years 19 days 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...
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 8 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