Sciweavers

4172 search results - page 177 / 835
» Computing Machinery and Understanding
Sort
View
IWPC
2009
IEEE
15 years 10 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
118
Voted
SGAI
2007
Springer
15 years 9 months 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
126
Voted
SG
2004
Springer
15 years 8 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 8 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
98
Voted
DSD
2002
IEEE
86views Hardware» more  DSD 2002»
15 years 8 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