Sciweavers

3310 search results - page 329 / 662
» Aspect-aware operating system development
Sort
View
ATAL
2008
Springer
15 years 6 months ago
Model-checking agent refinement
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
Lacramioara Astefanoaei, Frank S. de Boer
WOA
2003
15 years 6 months ago
Filling the Gap Between Users and Objects: a Multichannel Interactive Environment
— The design and the implementation of software for mobile computers and for pervasive computing environments entail several issues and lead to new requirements. Applications mus...
Davide Carboni, Andrea Piras, Stefano Sanna, Gavin...
MVA
2000
154views Computer Vision» more  MVA 2000»
15 years 6 months ago
Feature-Based Real-Time Human Face Tracking Using Lie Algebras
We have developed a novel human face tracking system that operates in real time at the video frame rate without a need for any special hardware. Our approach is based on the use o...
Akira Inoue, Tom Drummond, Roberto Cipolla
ICEC
1994
147views more  ICEC 1994»
15 years 6 months ago
VLSI Circuit Synthesis Using a Parallel Genetic Algorithm
A parallel implementation of a genetic algorithm used to evolve simple analog VLSI circuits is described. The parallel computer system consisted of twenty distributed SPARC workst...
Mike Davis, Luoping Liu, John G. Elias
ENGL
2008
101views more  ENGL 2008»
15 years 5 months ago
Identifying Perceptually Similar Languages Using Teager Energy Based Cepstrum
Language Identification (LID) refers to the task of identifying an unknown language from the test utterances. In this paper, a new method of feature extraction, viz., Teager Energy...
Hemant A. Patil, T. K. Basu