Sciweavers

1063 search results - page 39 / 213
» Order and Negation as Failure
Sort
View
GRAPHICSINTERFACE
2008
15 years 2 months ago
Order and entropy in picture passwords
Previous efforts involving picture-based passwords have not focused on maintaining a measurably high level of entropy. Since password systems usually allow user selection of passw...
Saranga Komanduri, Dugald Ralph Hutchings
104
Voted
ICDCSW
2007
IEEE
15 years 7 months ago
Event Stream Processing with Out-of-Order Data Arrival
Complex event processing has become increasingly important in modern applications, ranging from supply chain management for RFID tracking to real-time intrusion detection. The goa...
Ming Li, Mo Liu, Luping Ding, Elke A. Rundensteine...
137
Voted
LICS
2012
IEEE
13 years 3 months ago
A Higher-Order Distributed Calculus with Name Creation
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
Adrien Piérard, Eijiro Sumii
77
Voted
BMCBI
2010
111views more  BMCBI 2010»
15 years 28 days ago
Comparative performances of DNA barcoding across insect orders
Background: Previous studies on insect DNA barcoding provide contradictory results and suggest not consistent performances across orders. This work aims at providing a general eva...
Massimiliano Virgilio, Thierry Backeljau, Bruno Ne...
IMCSIT
2010
14 years 10 months ago
German subordinate clause word order in dialogue-based CALL.
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
Magdalena Wolska, Sabrina Wilske