Sciweavers

890 search results - page 125 / 178
» software 1998
Sort
View
FIW
1998
105views Communications» more  FIW 1998»
13 years 10 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...
FLAIRS
1998
13 years 10 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
13 years 10 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...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
13 years 10 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
PTS
1998
81views Hardware» more  PTS 1998»
13 years 10 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, ...