Sciweavers

709 search results - page 115 / 142
» In-stroke word completion
Sort
View
138
Voted
DKE
2006
70views more  DKE 2006»
15 years 3 months ago
Merging news reports that describe events
Many kinds of news report provide information about events. For example, business news reports in the area of mergers and acquisitions, provide information about events such as &q...
Anthony Hunter, Rupert Summerton
152
Voted
CN
2007
168views more  CN 2007»
15 years 3 months ago
Network anomaly detection with incomplete audit data
With the ever increasing deployment and usage of gigabit networks, traditional network anomaly detection based Intrusion Detection Systems (IDS) have not scaled accordingly. Most,...
Animesh Patcha, Jung-Min Park
100
Voted
ORDER
2002
90views more  ORDER 2002»
15 years 3 months ago
Radical Classes of Lattice-Ordered Groups vs. Classes of Compact Spaces
For a given class T of compact Hausdorff spaces, let Y(T ) denote the class of -groups G such that for each g G, the Yosida space Y (g) of g belongs to T . Conversely, if R is a c...
Michael R. Darnel, Jorge Martinez
150
Voted
MBEES
2010
15 years 2 months ago
Test Case Integration: From Components to Systems
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
Bernhard Schätz, Christian Pfaller
148
Voted
SCP
2010
155views more  SCP 2010»
15 years 2 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay