5615 search results - page 137 / 1123 » On the Computational Capabilities of Several Models |
150
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
173
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Performance analysis of high performance systems is a difficult task. Current tools have proven successful in analysis tasks but their implementation is limited in several respects...
103
click to vote
COLING
2010
15 years 1 months ago
2010
The precise identification of light verb constructions is crucial for the successful functioning of several NLP applications. In order to facilitate the development of an algorith...
155
click to vote
ITNG
2007
IEEE
16 years 11 days ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
184
Voted
COMPULOG
1999
Springer
15 years 10 months ago
1999
Springer
Planning and scheduling attracts an unceasing attention of computer science community. However, despite of similar character of both tasks, in most current systems planning and sch...