Sciweavers

1370 search results - page 47 / 274
» On the Consistent Observation of Active Systems
Sort
View
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
16 years 1 months ago
Architectural Support for Run-Time Validation of Control Flow Transfer
—Current micro-architecture blindly uses the address in the program counter to fetch and execute instructions without validating its legitimacy. Whenever this blind-folded instru...
Yixin Shi, Sean Dempsey, Gyungho Lee
PADL
2007
Springer
15 years 10 months ago
BAD, a Declarative Logic-Based Language for Brain Modeling
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Alan H. Bond
MJ
2006
84views more  MJ 2006»
15 years 4 months ago
Impact of the surface roughness on the electrical capacitance
A new hybrid approach consists to use the advantages of both systems namely the high geometric aspects of the electrodes of the ultracapacitor and the high dielectric strength of ...
A. Albina, P. L. Taberna, J. P. Cambronne, P. Simo...
SIGIR
2005
ACM
15 years 10 months ago
Active feedback in ad hoc information retrieval
Information retrieval is, in general, an iterative search process, in which the user often has several interactions with a retrieval system for an information need. The retrieval ...
Xuehua Shen, ChengXiang Zhai
ATAL
2004
Springer
15 years 10 months ago
Motion and Episode Models for (Simulated) Football Games: Acquisition, Representation, and Use
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
Michael Beetz, Thomas Stammeier, Sven Flossmann