Search Sciweavers | Sciweavers

949 search results - page 7 / 190

» Programmed Mutagenesis Is Universal

click to vote

SAC
2008
ACM

111views Applied Computing» more SAC 2008»

Universal concurrent constraint programing: symbolic semantics and applications to security

13 years 7 months ago

Download www.lix.polytechnique.fr

Carlos Olarte, Frank D. Valencia

claim paper

Read More »

click to vote

COLING
2002

98views Computational Linguistics» more COLING 2002»

A Linguistic Discovery Program that Verbalizes its Discoveries

13 years 7 months ago

Download acl.ldc.upenn.edu

We describe a discovery program, called UNIVAUTO (UNIVersals AUthoringTOol), whose domain of application is the study of language universals, a classic trend in contemporary lingu...

Vladimir Pericliev

claim paper

Read More »

click to vote

IFIP
1998
Springer

146views Programming Languages» more IFIP 1998»

Scheduling in a Multi-Agent Environment

13 years 11 months ago

Download neuron-ai.tuke.sk

A new scheduling agent for existing CIM multi-agent system is being currently developed at the Technical University of Kosice. The basic idea is to create an agent based on Schedu...

M. Schmotzer, Jan Paralic, Julius Csontó

claim paper

Read More »

click to vote

COMPSAC
2005
IEEE

120views Software Engineering» more COMPSAC 2005»

Model-Based Software Testing and Verification

14 years 1 months ago

Download conferences.computer.org

tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...

Aditya P. Mathur

claim paper

Read More »

click to vote

ASP
2001
Springer

115views Automated Reasoning» more ASP 2001»

Dynamical Properties of Answer Set Programs

13 years 12 months ago