Sciweavers

7991 search results - page 96 / 1599
» Using More Reasoning to Improve
Sort
View
145
Voted
CN
1999
89views more  CN 1999»
15 years 5 months ago
Improving Web Information Systems with Navigational Patterns
In this paper we show how to improve the architecture of Web Information Systems (WISs) using design patterns, in particular navigational patterns. We first present a framework to...
Gustavo Rossi, Daniel Schwabe, Fernando Lyardet
CONCUR
2011
Springer
14 years 5 months ago
Reasoning about Threads with Bounded Lock Chains
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
Vineet Kahlon
ICCV
2011
IEEE
14 years 5 months ago
The Power of Comparative Reasoning
Rank correlation measures are known for their resilience to perturbations in numeric values and are widely used in many evaluation metrics. Such ordinal measures have rarely been ...
Jay Yagnik, Dennis Strelow, David Ross, Ruei-sung ...
CCS
2006
ACM
15 years 9 months ago
Evading network anomaly detection systems: formal reasoning and practical techniques
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...
Prahlad Fogla, Wenke Lee
159
Voted
ATAL
2008
Springer
15 years 7 months ago
Modeling how humans reason about others with partial information
Computer agents participate in many collaborative and competitive multiagent domains in which humans make decisions. For computer agents to interact successfully with people in su...
Sevan G. Ficici, Avi Pfeffer