Sciweavers

3844 search results - page 210 / 769
» Modular interpreted systems
Sort
View
AIPS
2003
15 years 5 months ago
A Mixed-initiative Framework for Robust Plan Sketching
Sketching provides a natural and compact means for a user to outline a plan for a high-level objective. Previous work on plan sketching required that sketches be valid, meaning th...
Karen L. Myers, Peter Jarvis, Mabry Tyson, Michael...
APPINF
2003
15 years 5 months ago
Why Functional Programming Really Matters
The significance of functional programming is revealed as that the feasible approach to language extensibility which it enables is further applicable to programming in general and...
Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean ...
CAV
2010
Springer
156views Hardware» more  CAV 2010»
15 years 3 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
PSYCHNOLOGY
2006
102views more  PSYCHNOLOGY 2006»
15 years 3 months ago
Radiology Informatics and Work Flow Redesign
The transformation from film-based to filmless operations has become more and more challenging as medical imaging studies expand in size and complexity. To adapt to these changes ...
Guido Vaccari, Carlo Saccavini
PUC
2010
121views more  PUC 2010»
15 years 2 months ago
The BehaviorScope framework for enabling ambient assisted living
Abstract The in-house monitoring of elders using intelligent sensors is a very desirable service that has the potential of increasing autonomy and independence while minimizing the...
Athanasios Bamis, Dimitrios Lymberopoulos, Thiago ...