607 search results - page 28 / 122 » Unifying Exact Completions |
73
Voted
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
The DAM-LR (Distributed Access Management for Language Resources) project aims at virtually integrating various European language resource archives that allow users to navigate an...
DEXAW
1999
IEEE
15 years 3 months ago
1999
IEEE
Internet systems provide a variety of ways to exchange information, contain large amounts and variety of data, and have become quite complex, making them vulnerable to attacks fro...
78
Voted
ACSC
2004
IEEE
15 years 2 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
77
Voted
FUIN
2007
14 years 11 months ago
2007
In the paper triangular graphs are discussed. The class of triangular graphs is of special interest as unifying basic features of complete graphs with trees and being used on many ...
102
click to vote
IJCAI
2007
15 years 10 days ago
2007
We define a translation from Weighted CSP to signed Max-SAT, and a complete resolution-style calculus for solving signed Max-SAT. Based on these results, we then describe an orig...