Sciweavers

11538 search results - page 1930 / 2308
» From Text to Knowledge
Sort
View
ICRA
1998
IEEE
101views Robotics» more  ICRA 1998»
15 years 11 months ago
An Approach to Reduction of Hysteresis in Smart Materials
This paper addresses the problem of reducing the hysteresis found in the actuation of most smart materials. They are divided in two groups: systems with no saturation (e.g. piezoe...
Juan Manuel Cruz-Hernández, Vincent Hayward
IPPS
1998
IEEE
15 years 11 months ago
Surge Handling as a Measure of Real-Time System Dependability
Traditional reliability measures for computer systems can be classi ed into Computer-Centric or Application-Centric categories. The former concentrate on the hardware resources whi...
Zahava Koren, Israel Koren, C. Mani Krishna
TPHOL
1998
IEEE
15 years 11 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
AMET
1998
Springer
15 years 11 months ago
Bidding Strategies for Trading Agents in Auction-Based Tournaments
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
Pere Garcia, Eduardo Giménez, Lluis Godo, J...
SIGMOD
1998
ACM
143views Database» more  SIGMOD 1998»
15 years 11 months ago
Interaction of Query Evaluation and Buffer Management for Information Retrieval
The proliferation of the World Wide Web has brought information retrieval (IR) techniques to the forefront of search technology. To the average computer user, “searching” now ...
Björn Þór Jónsson, Michae...
« Prev « First page 1930 / 2308 Last » Next »