4485 search results - page 615 / 897 » Equivalences on Observable Processes |
142
click to vote
TVLSI
2008
15 years 4 months ago
2008
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
145
Voted
AAMAS
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. One of the main questions concerning learning in a Multi-Agent System's environment is: "(How) can agents benefit from mutual interaction during the learning pr...
148
Voted
FAC
2000
15 years 4 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
154
click to vote
NECO
2000
15 years 4 months ago
2000
RF-LISSOM, a self-organizing model of laterally connected orientation maps in the primary visual cortex, was used to study the psychological phenomenon known as the tilt aftereffe...
131
Voted
SIGMETRICS
2000
ACM
15 years 4 months ago
2000
ACM
The most common problem of an overloaded electronic-commerce server is an increase in the response time perceived by customers, who may restart their requests hoping to get a fast...