7694 search results - page 161 / 1539 » An Implementation of an Applicative File System |
266
Voted
NFM
2011
14 years 12 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
140
Voted
LCN
2003
IEEE
15 years 10 months ago
2003
IEEE
Network processors offer a new flexibility for network applications and reduce the time to market for data processing systems. In this paper, we describe the changed development p...
123
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
Webbases are database systems that enable creation of Web applications that allow end users to shop around for products and services at various Web sites without having to manually...
155
click to vote
MVA
2007
15 years 6 months ago
2007
This paper describes a real-time hand gesture recognition system and its application to VCR remote control. Cascaded classifiers are used to detect a number of different hand pose...
120
Voted
WSC
2001
15 years 6 months ago
2001
Facility layouts of existing or proposed production systems often form the basis of a dynamic simulation study to prove the design concept and to determine if the required through...