4609 search results - page 76 / 922 » Automatic Generation of Sigma-Protocols |
152
click to vote
NIPS
2007
15 years 6 months ago
2007
Social tags are user-generated keywords associated with some resource on the Web. In the case of music, social tags have become an important component of “Web2.0” recommender ...
134
click to vote
IJFCS
2006
15 years 5 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
161
click to vote
CAD
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
180
click to vote
DOLAP
2000
ACM
15 years 9 months ago
2000
ACM
Generating tool specific schemata and configuration information for OLAP database tools from conceptual graphical models is an important prerequisite for a comprehensive tool supp...
139
click to vote
ASAP
2007
IEEE
15 years 9 months ago
2007
IEEE
Monte-Carlo simulations are used in many applications, such as option pricing and portfolio evaluation. Due to their high computational load and intrinsic parallelism, they are id...