1529 search results - page 121 / 306 » Energy-Based Models of P Systems |
112
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
121
Voted
ICDE
1987
IEEE
15 years 7 months ago
1987
IEEE
Handling parallelism in database systems involves the specification of a storage model, a placement strategy, and a query processing strategy. An important goal is to determine th...
114
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents an applicable model for complex multiattribute negotiations between autonomous agents. The model adopts a novel protocol which decomposes the original n-dimens...
140
click to vote
GMP
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
134
click to vote
TREC
2001
15 years 5 months ago
2001
We used the YFILTER filtering system for experiments on updating profiles and setting thresholds. We developed a new method of using language models for updating profiles that is ...