Sciweavers

659 search results - page 96 / 132
» Binding as sets of scopes
Sort
View
ANLP
1994
109views more  ANLP 1994»
15 years 1 months ago
Symmetric Pattern Matching Analysis for English Coordinate Structures
The authors propose a model for analyzing English sentences including coordinate conjunctions such as "and","or","but" and the equivalent words. Synt...
Akitoshi Okumura, Kazunori Muraki
97
Voted
WSC
1996
15 years 1 months ago
New Advances and Applications of Combining Simulation and Optimization
The area of integrating simulation and optimization has recently undergone remarkable changes. New advances are making available applications of simulation that previously had bee...
Fred Glover, James P. Kelly, Manuel Laguna
138
Voted
WIRTSCHAFTSINFORMATI
2007
15 years 1 months ago
An Ontology Framework for Semantic Business Process Management
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
Martin Hepp, Dumitru Roman
85
Voted
AROBOTS
2006
94views more  AROBOTS 2006»
15 years 18 days ago
Multimode locomotion via SuperBot reconfigurable robots
Abstract One of the most challenging issues for a selfsustaining robotic system is how to use its limited resources to accomplish a large variety of tasks. The scope of such tasks ...
Wei-Min Shen, Maks Krivokon, Harris Chiu, Jacob Ev...
ENTCS
2006
145views more  ENTCS 2006»
15 years 16 days ago
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
Michael Backes