Sciweavers

1518 search results - page 130 / 304
» Cryptographic Test Correction
Sort
View
CAISE
2006
Springer
15 years 10 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck
ICRA
1994
IEEE
102views Robotics» more  ICRA 1994»
15 years 10 months ago
Dynamic Simulation of Interactive Robotic Environment
A dynamic simulation package has been developed which can accurately model the interactions between robots and their environment. It creates a virtual environment in which various...
Paul U. Lee, Diego C. Ruspini, Oussama Khatib
HIS
2004
15 years 8 months ago
A Novel Fuzzy Approach to Speech Recognition
This paper presents a novel approach to speech recognition using fuzzy modeling. The task begins with conversion of speech spectrogram into a linguistic description based on arbit...
Ramin Halavati, Saeed Bagheri Shouraki, Mahsa Eshr...
IWPT
2001
15 years 8 months ago
High Precision Extraction of Grammatical Relations
A parsing system returning analyses in the form of sets of grammatical relations can obtain high precision if it hypothesises a particular relation only when it is certain that th...
John Carroll, Ted Briscoe
IJCAI
2003
15 years 8 months ago
NoA - A Normative Agent Architecture
NoA is an agent architecture that supports the development of agents motivated by norms: obligations, permissions and prohibitions. Obligations motivate a normative agent to act: ...
Martin J. Kollingbaum, Timothy J. Norman