2573 search results - page 397 / 515 » Combinations of Modal Logics |
130
click to vote
SIGCSE
2006
ACM
15 years 10 months ago
2006
ACM
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...
129
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
Segmentation is the first step in managing data for many information retrieval tasks. Automatic audio transcriptions and digital video footage are typically continuous data sourc...
142
click to vote
AVSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
133
click to vote
CIG
2005
IEEE
15 years 10 months ago
2005
IEEE
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
119
Voted
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...