624 search results - page 84 / 125 » Application of Lightweight Formal Methods to Software Securi... |
127
click to vote
HCI
2009
14 years 9 months ago
2009
Real-time, static and dynamic hand gesture learning and recognition makes it possible to have computers recognize hand gestures naturally. This creates endless possibilities in the...
IRI
2008
IEEE
15 years 6 months ago
2008
IEEE
Although the ever growing Web contain information to virtually every user’s query, it does not guarantee effectively accessing to those information. In many situations, the user...
114
click to vote
ICPPW
2006
IEEE
15 years 5 months ago
2006
IEEE
Embedded computing architectures can be designed to meet a variety of application specific requirements. However, optimized hardware can require compiler support to realize the po...
111
click to vote
SIGIR
2004
ACM
15 years 5 months ago
2004
ACM
Document-centric XML collections contain text-rich documents, marked up with XML tags. The tags add lightweight semantics to the text. Querying such collections calls for a hybrid...
112
click to vote
PPDP
2010
Springer
14 years 9 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...