4460 search results - page 523 / 892 » Formal methods for interactive systems |
184
click to vote
AAAI
2000
15 years 8 months ago
2000
The Facial Action Coding System (FACS) is an objective method for quantifying facial movement in terms of 44 component actions, i.e. Action Units (AUs). This system is widely used...
346
click to vote
AUGHUMAN
2010
15 years 4 months ago
2010
We propose a system that registers and retrieves text documents to annotate them on-line. The user registers a text document captured from a nearly top view and adds virtual annot...
234
click to vote
ICWL
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper presents a pilot system and discusses its possible extensions. In the first sections, we present a web-based test authoring system for English grammar and voca...
145
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
182
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Artificial Immune Systems (AISs) are biologically inspired problem solvers that have been used successfully as intrusion detection systems (IDSs). This paper describes how the des...