Sciweavers

7623 search results - page 233 / 1525
» Constructive Volume Modeling
Sort
View
LREC
2008
95views Education» more  LREC 2008»
15 years 5 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...
158
Voted
ECEASST
2011
241views ECommerce» more  ECEASST 2011»
14 years 11 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
14 years 10 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 8 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 6 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