Sciweavers

7623 search results - page 233 / 1525
» Constructive Volume Modeling
Sort
View
LREC
2008
95views Education» more  LREC 2008»
15 years 7 months ago
Conceptual Modeling of Ontology-based Linguistic Resources with a Focus on Semantic Relations
Although ontologies and linguistic resources play a key role in applied AI and NLP, they have not been developed in a common and systematic way. The lack of a systematic methodolo...
Francisco Alvarez Montero, Antonio Vaquero Sanchez...
ECEASST
2011
241views ECommerce» more  ECEASST 2011»
15 years 1 months ago
Concurrent Workflow Evolution
Workflow evolution is a collective term for concepts that deal with changes of workflow models. Adapted workflow models are deployed on a workflow engine as new model version. That...
Mirko Sonntag, Dimka Karastoyanova
TCS
2010
15 years 1 months ago
Bounds on the efficiency of black-box commitment schemes
Constructions of cryptographic primitives based on general assumptions (e.g., one-way functions) tend to be less efficient than constructions based on specific (e.g., number-theor...
Omer Horvitz, Jonathan Katz
STOC
1994
ACM
108views Algorithms» more  STOC 1994»
15 years 10 months ago
Pseudorandomness for network algorithms
We define pseudorandom generators for Yao's twoparty communication complexity model and exhibit a simple construction, based on expanders, for it. We then use a recursive com...
Russell Impagliazzo, Noam Nisan, Avi Wigderson
ADAEUROPE
2008
Springer
15 years 8 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs