Sciweavers

2139 search results - page 282 / 428
» Connecting language to the world
Sort
View
CORR
2007
Springer
123views Education» more  CORR 2007»
14 years 11 months ago
A Generic Analysis Environment for Curry Programs
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Michael Hanus
OSDI
2004
ACM
15 years 11 months ago
FFPF: Fairly Fast Packet Filters
FFPF is a network monitoring framework designed for three things: speed (handling high link rates), scalability (ability to handle multiple applications) and flexibility. Multiple...
Herbert Bos, Willem de Bruijn, Mihai-Lucian Criste...
LATA
2010
Springer
15 years 8 months ago
Complexity of the Satisfiability Problem for a Class of Propositional Schemata
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
Vincent Aravantinos, Ricardo Caferra, Nicolas Pelt...
DALT
2009
Springer
15 years 5 months ago
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks
Online social networks are enjoying drastic increase in their population and connectivity. One of the fundamental issues in these networks is trust, which is an essential factor in...
Babak Khosravifar, Jamal Bentahar, Maziar Gomrokch...
CMMR
2007
Springer
114views Music» more  CMMR 2007»
15 years 5 months ago
A Network-Based Framework for Collaborative Development and Performance of Digital Musical Instruments
This paper describes the design and implementation of a framework designed to aid collaborative development of a digital musical instrument mapping layer1 . The goal was to create ...
Joseph Malloch, Stephen Sinclair, Marcelo M. Wande...