Sciweavers

25156 search results - page 186 / 5032
» Applications for conscious systems
Sort
View
ICFP
2003
ACM
16 years 7 months ago
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...
Alberto Momigliano, Jeff Polakow
123
Voted
ICEIS
2005
IEEE
16 years 21 days ago
Building Applications Able to Cope with Problematic Data Using a Datawarp Approach
Stephen Crouch, Peter Henderson, Robert John Walte...
103
Voted
ICEIS
2005
IEEE
16 years 21 days ago
Implementing Multilingual Information Framework in Applications Using Textual Display
Satyendra Gupta, Samuel Cruz-Lara, Laurent Romary