Sciweavers

1518 search results - page 130 / 304
» Cryptographic Test Correction
Sort
View
CAISE
2006
Springer
15 years 7 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 7 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 5 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...
123
Voted
IWPT
2001
15 years 5 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
116
Voted
IJCAI
2003
15 years 5 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