Sciweavers

11066 search results - page 2195 / 2214
» Linearity in Process Languages
Sort
View
85
Voted
BIRTHDAY
2010
Springer
14 years 10 months ago
The Edge of Graph Transformation - Graphs for Behavioural Specification
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
Arend Rensink
ICPR
2010
IEEE
14 years 9 months ago
Images in News
A system, called NewsStand, is introduced that automatically extracts images from news articles. The system takes RSS feeds of news article and applies an online clustering algori...
Jagan Sankaranarayanan, Hanan Samet
MOBISYS
2010
ACM
14 years 12 months ago
MAUI: making smartphones last longer with code offload
This paper presents MAUI, a system that enables fine-grained energy-aware offload of mobile code to the infrastructure. Previous approaches to these problems either relied heavily...
Eduardo Cuervo, Aruna Balasubramanian, Dae-ki Cho,...
AI
2008
Springer
14 years 9 months ago
What makes propositional abduction tractable
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
Gustav Nordh, Bruno Zanuttini
106
Voted
AI
2008
Springer
14 years 9 months ago
The well-designed child
This article is inspired by recent psychological studies confirming that a child is not born a blank slate but has important innate capabilities. An important part of the "le...
John McCarthy
« Prev « First page 2195 / 2214 Last » Next »