Sciweavers

77016 search results - page 375 / 15404
» Modeling Modeling
Sort
View
CSFW
2009
IEEE
16 years 1 months ago
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
Patrick Schaller, Benedikt Schmidt, David A. Basin...
SIGIR
2004
ACM
16 years 5 days ago
Corpus structure, language models, and ad hoc information retrieval
Most previous work on the recently developed languagemodeling approach to information retrieval focuses on document-specific characteristics, and therefore does not take into acc...
Oren Kurland, Lillian Lee
ER
2000
Springer
116views Database» more  ER 2000»
15 years 10 months ago
On Business Process Model Transformations
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
Wasim Sadiq, Maria E. Orlowska
ISM
2008
IEEE
140views Multimedia» more  ISM 2008»
16 years 1 months ago
SAM: A Simplified Seasonal ARIMA Model for Mobile Video over Wireless Broadband Networks
1 Wireless broadband technologies like WiMAX2 are spreading especially in areas where wired broadband is not expected to reach. Video streaming is continuously acquiring a larger s...
Abdel Karim Al Tamimi, Raj Jain, Chakchai So-In
ICRA
2008
IEEE
170views Robotics» more  ICRA 2008»
16 years 1 months ago
Modeling and recognition of actions through motor primitives
— We investigate modeling and recognition of object manipulation actions for the purpose of imitation based learning in robotics. To model the process, we are using a combination...
David Martínez Mercado, Danica Kragic
« Prev « First page 375 / 15404 Last » Next »