Sciweavers

274 search results - page 19 / 55
» mc 2003
Sort
View
ICTAI
2003
IEEE
14 years 23 days ago
Equuleus: Presentation from Legacy Documents
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
Susan Weber McRoy, Syed S. Ali, Nipat Nalamlieng
AGENTCL
2003
Springer
14 years 22 days ago
The Mechanics of Some Formal Inter-agent Dialogues
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines in detail what locutions are...
Simon Parsons, Peter McBurney, Michael Wooldridge
SCS
2003
13 years 8 months ago
A Contract-based Approach to Designing Safe Systems
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
Iain Bate, Richard Hawkin, John A. McDermid
ISCAS
2003
IEEE
104views Hardware» more  ISCAS 2003»
14 years 23 days ago
Study and simulation of CMOS LC oscillator phase noise and jitter
In this work we review the processes of phase noise and jitter in electronic oscillators and the relationship between the two. Frequency and time domain simulation techniques and ...
Michael S. McCorquodale, Mei Kim Ding, Richard B. ...
ECAL
2003
Springer
14 years 21 days ago
Production of Gliders by Collisions in Rule 110
Abstract. We investigate the construction of all the periodic structures or “ gliders ” up to now known in the evolution space of the onedimensional cellular automaton Rule 110...
Genaro Juárez Martínez, Harold V. Mc...