789 search results - page 77 / 158 » simulation 1998 |
FPL
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples fro...
HYBRID
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
IFIP
1998
Springer
14 years 3 months ago
1998
Springer
The paper describes an original approach for the ABR service in the ATM network. It belongs to the explicite rate (ER) class and assumes that the ER parameter corresponds to the i...
QCQC
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. We propose an implementation of a quantum controlledNOT gate on the basis of dipole-dipole interacting asymmetric quantum dots. Our implementation does not require applic...
AAAI
1998
14 years 15 days ago
1998
Our argumentation system, NAG, uses Bayesian networks in a user model and in a normative model to assemble and assess arguments which balance persuasiveness with normative correct...