Sciweavers

4172 search results - page 177 / 835
» Computing Machinery and Understanding
Sort
View
IWPC
2009
IEEE
16 years 1 months ago
Enabling more precise dependency analysis in event-based systems
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
Daniel Popescu, Joshua Garcia, Nenad Medvidovic
SGAI
2007
Springer
16 years 19 days ago
Can Agents Without Concepts Think? An Investigation Using a Knowledge Based System
Grid-World is a working computer model which has been used to investigate the search capabilities of artificial agents that understand the world in terms of non-conceptual content...
Nicky Moss, Adrian Hopgood, Martin Weller
SG
2004
Springer
15 years 12 months ago
Smart Garden: Plant Mail and Chat Environments
We describe a series of applications that involve interfaces that allow a certain amount of ”communication” with other living beings, in particular, plants. These interfaces al...
Daniel Rivera, Isaac Rudomín, Marissa D&iac...
ASM
2003
ASM
15 years 11 months ago
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...
Egon Börger, Tommaso Bolognesi
DSD
2002
IEEE
86views Hardware» more  DSD 2002»
15 years 11 months ago
Using Formal Tools to Study Complex Circuits Behaviour
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
Paul Amblard, Fabienne Lagnier, Michel Lévy