Sciweavers

90 search results - page 11 / 18
» Combining Symbolic Representations for Solving Timed Games
Sort
View
ICTAI
2002
IEEE
14 years 1 months ago
Updating a Hybrid Rule Base with New Empirical Source Knowledge
Neurules are a kind of hybrid rules that combine a symbolic (production rules) and a connectionist (adaline unit) representation. Each neurule is represented as an adaline unit. O...
Jim Prentzas, Ioannis Hatzilygeroudis, Athanasios ...
IFIP12
2009
13 years 6 months ago
Behaviour Recognition using the Event Calculus
We present a system for recognising human behaviour given a symbolic representation of surveillance videos. The input of our system is a set of timestamped short-term behaviours, t...
Alexander Artikis, Georgios Paliouras
MICCAI
2005
Springer
14 years 9 months ago
A Method to Evaluate Human Spatial Coordination Interfaces for Computer-Assisted Surgery
Computer assistance for breast conserving surgery requires a guidance method to assist a surgeon in locating tumor margin accurately. A wide array of guidance methods can be consid...
Michel-Alexandre Cardin, Jian-Xiong Wang, Donald B...
ICA
2010
Springer
13 years 9 months ago
Consistent Wiener Filtering: Generalized Time-Frequency Masking Respecting Spectrogram Consistency
Wiener filtering is one of the most widely used methods in audio source separation. It is often applied on time-frequency representations of signals, such as the short-time Fourier...
Jonathan Le Roux, Emmanuel Vincent, Yuu Mizuno, Hi...
AAI
2006
106views more  AAI 2006»
13 years 8 months ago
Metaheuristics for Handling Time Interval Coverage Constraints in Nurse Scheduling
The problem of finding a high quality timetable for personnel in a hospital ward has been addressed by many researchers, personnel managers and schedulers over a number of years. ...
Edmund K. Burke, Patrick De Causmaecker, Sanja Pet...