Sciweavers

90 search results - page 11 / 18
» Combining Symbolic Representations for Solving Timed Games
Sort
View
85
Voted
ICTAI
2002
IEEE
15 years 4 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
14 years 9 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
16 years 16 days 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
15 years 23 days 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»
14 years 11 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...