Sciweavers

1830 search results - page 295 / 366
» Functional Programs as Linked Data
Sort
View
CP
2005
Springer
14 years 1 months ago
Search and Inference in AI Planning
While Planning has been a key area in Artificial Intelligence since its beginnings, significant changes have occurred in the last decade as a result of new ideas and a more estab...
Hector Geffner
CORR
2010
Springer
156views Education» more  CORR 2010»
13 years 8 months ago
On CSP and the Algebraic Theory of Effects
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
Rob J. van Glabbeek, Gordon D. Plotkin
CORR
2011
Springer
217views Education» more  CORR 2011»
13 years 3 months ago
Using Short Message Service (SMS) to Support Business Continuity
Now a many organizations are required to communicate online on a daily basis, 24-hour, seven-days-a-week, to gain the desired competitive advantages and profits; although there are...
Maher Abdel-qader, Ahmad Al-Jaber, Alaa Al-Hamami
ICC
2008
IEEE
144views Communications» more  ICC 2008»
14 years 2 months ago
Delay-Minimal Transmission for Energy Constrained Wireless Communications
—We investigate the problem of minimizing the overall transmission delay of data packets in a single-user wireless communication system, where the transmitter has a fixed amount...
Jing Yang, Sennur Ulukus
EUSAI
2007
Springer
14 years 2 months ago
A Web 2.0 Platform to Enable Context-Aware Mobile Mash-Ups
Context-aware systems allow users to access services and multimedia data according to their current context (location, identity, preferences). Web 2.0 fosters user contribution and...
Diego López de Ipiña, Juan Ignacio V...