Sciweavers

1053 search results - page 97 / 211
» The Rules of Virtual Groups
Sort
View
RTA
2005
Springer
15 years 4 months ago
The Algebra of Equality Proofs
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
Aaron Stump, Li-Yang Tan
CIKM
2005
Springer
15 years 4 months ago
Opportunity map: a visualization framework for fast identification of actionable knowledge
Data mining techniques frequently find a large number of patterns or rules, which make it very difficult for a human analyst to interpret the results and to find the truly interes...
Kaidi Zhao, Bing Liu, Thomas M. Tirpak, Weimin Xia...
EWMF
2003
Springer
15 years 4 months ago
Monitoring the Evolution of Web Usage Patterns
Abstract With the ongoing shift from off-line to on-line business processes, the Web has become an important business platform, and for most companies it is crucial to have an on-...
Steffan Baron, Myra Spiliopoulou
AVSS
2008
IEEE
15 years 5 months ago
Multi-camera Control through Constraint Satisfaction for Persistent Surveillance
We introduce a distributed camera coalition formation scheme for perceptive scene coverage and persistent surveillance by smart camera sensor networks. The proposed model supports...
Faisal Z. Qureshi, Demetri Terzopoulos
HICSS
2005
IEEE
166views Biometrics» more  HICSS 2005»
15 years 4 months ago
Prototyping the Emergence of Collaborative Knowledge
E-learning growth is driven by global, societal, and technological changes that both enable and require increased worker and learner mobility, access to distributed domain experti...
Rita M. Vick, Apperson H. Johnson