5227 search results - page 354 / 1046 » Enterprise modeling using class and instance models |
206
Voted
WEBDB
2010
Springer
16 years 15 days ago
2010
Springer
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
170
click to vote
CAISE
2004
Springer
16 years 26 days ago
2004
Springer
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...
208
Voted
SAT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
172
click to vote
ACL
1998
15 years 8 months ago
1998
We present a method for automatically identifying verbal participation in diathesis alternations. Automatically acquired subcategorization frames are compared to a hand-crafted cl...
169
Voted
ANOR
2002
15 years 7 months ago
2002
Abstract. This paper presents a hybridization of a Constraint Programming (CP) model and search techniques with Local Search (LS) and some ideas borrowed from Genetic Algorithms (G...