Sciweavers

890 search results - page 125 / 178
» software 1998
Sort
View
151
Voted
FIW
1998
105views Communications» more  FIW 1998»
15 years 3 months ago
Feature Interaction Problem in Computer-Telephony Integration Systems
In this paper we describe an ongoing project aimed at investigating the impact of feature interaction problems on computer telephony integration (CTI). As a representative and soph...
Nikolay A. Anisimov, Alec Miloslavski, Gregory Pog...
164
Voted
FLAIRS
1998
15 years 3 months ago
Teaching Bottom-up AI from the Top Down
For many reasons, it is desirable to use robots in courses such as introductory computer science, artificial intelligence, and cognitive science, yet the knowledge normally require...
Christopher A. Welty, Kenneth Livingston, Calder M...
ICONIP
1998
15 years 3 months ago
A Web Oriented Recurrent Neural Network Simulator
YANNS (Yet Another Neural Network Simulator) is a new object-oriented neural network simulator for feedforward networks as well as general recurrent networks. The goal of this pro...
Romuald Boné, Michel Crucianu, Pascal Makri...
122
Voted
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 3 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
116
Voted
PTS
1998
81views Hardware» more  PTS 1998»
15 years 3 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...