Sciweavers

213 search results - page 26 / 43
» Creating Abstractions Using Relevance Reasoning
Sort
View
CL
2000
Springer
15 years 2 months ago
The Taming of the (X)OR
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
Peter Baumgartner, Fabio Massacci
96
Voted
ICLP
1998
Springer
15 years 2 months ago
Compiling Resources in a Linear Logic Programming Language
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
Mutsunori Banbara, Naoyuki Tamura
GLOBECOM
2007
IEEE
15 years 4 months ago
Utilizing Semantic Tags for Policy Based Networking
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
Sethuram Balaji Kodeswaran, Olga Ratsimor, Anupam ...
BIS
2010
246views Business» more  BIS 2010»
14 years 11 months ago
On the Cognitive Effectiveness of Routing Symbols in Process Modeling Languages
Abstract. Process models provide visual support for analyzing and improving complex organizational processes. In this paper, we discuss differences of process modeling languages us...
Kathrin Figl, Jan Mendling, Mark Strembeck, Jan Re...
CAISE
2003
Springer
15 years 3 months ago
Ranking Web Documents with Dynamic Evaluation by Expert Groups
Abstract. In spite of the wide use of the Internet, it is difficult to develop desirable web documents evaluation that reflects users’ needs. Many automatic ranking systems have ...
Sea Woo Kim, Chin-Wan Chung