Showing 1 - 20 of 651

1

Non-deterministic semantics for logics with a consistency operator
AVRON, Arnon
Eighth European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU 2005)International journal of approximate reasoning. 45(2):271-287

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
2

Learning deterministic context free grammars : The Omphalos competition
CLARK, Alexander
Special issue on grammatical inferenceMachine learning. 66(1):93-110

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
3

Interprocedural analysis of asynchronous programs
JHALA, Ranjit ; MAJUMDAR, Rupak
POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®: Papers presented at the Symposium, January 17-19, 2007, Nice, FranceACM SIGPLAN notices. 42(1):339-350

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
4

Transactional events
DONNELLY, Kevin ; FLUET, Matthew
Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USAACM SIGPLAN notices. 41(9):124-135

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
5

PSL model checking and run-time verification via testers
PNUELI, A ; ZAKS, A
FM 2006 (formal methods)Lecture notes in computer science. :573-586

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
6

Operations for inference in continuous Bayesian networks with linear deterministic variables
COBB, Barry R ; SHENOY, Prakash P
PGM'04: 2nd European Workshop on Probabilistic Graphical Models, Leiden, October 4-8, 2004International journal of approximate reasoning. 42(1-2):21-36

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
7

On the combination of rough set theory and grey theory based on grey lattice operations
YAMAGUCHI, Daisuke ; LI, Guo-Dong ; NAGAI, Masatake
Rough sets and current trends in computing (5th International conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006)Lecture notes in computer science. :507-516

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
8

On possible rules and apriori algorithm in non-deterministic information systems
SAKAI, Hiroshi ; NAKATA, Michinori
Rough sets and current trends in computing (5th International conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006)Lecture notes in computer science. :264-273

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
9

Lemma learning in the model evolution calculus
BAUMGARTNER, Peter ; FUCHS, Alexander ; TINELLI, Cesare
Logic for programming, artificial intelligence, and reasoning (13th International conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006)0LPAR 2006. :572-586

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
10

Field constraint analysis
WIES, Thomas ; KUNCAK, Viktor ; LAM, Patrick ; et al.
Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)0VMCAI 2006. :157-173

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
11

Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions
GULWANI, Sumit ; TIWARI, Ashish
Programming languages and systems (15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006)0ESOP 2006. :279-293

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
12

Well-nested context unification
LEVY, Jordi ; NIEHREN, Joachim ; VILLARET, Mateu
CADE-20 : automated deduction (Tallinn, 22-27 July 2005)Lecture notes in computer science. :149-163

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
13

Use of an evolutionary tool for antenna array synthesis
MANETTA, Luca ; OLLINO, Laura ; SCHILLACI, Massimiliano
Applications of evolutionary computing (Lausanne, 30 March - 1 April 2005)Lecture notes in computer science. :245-253

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
14

Stochastic transition systems for continuous state spaces and non-determinism
CATTANI, Stefano ; SEGALA, Roberto ; KWIATKOWSKA, Marta ; et al.
FOSSACS 2005 : foundations of software science and computation structures (Edinburgh, 4-8 April 2005)Lecture notes in computer science. :125-139

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
15

State identification problems for timed automata
KRICHEN, Moez ; TRIPAKIS, Stavros
TestCom 2005 : testing of communicating systems (Montreal, 31 May - 2 June 2005)Lecture notes in computer science. :175-191

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
16

Rx: Treating bugs as allergies : A safe method to survive software failures
FENA QIN ; TUCEK, Joseph ; SUNDARESAN, Jagadeesan ; et al.
SOSP'05 : proceedings of the 20th ACM symposium on operating systems principlesOperating systems review. 39(5):235-248

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
17

Refinement and reachability in Event―B
ABRIAL, Jean-Raymond ; CANSELL, Dominique ; MERY, Dominique
ZB 2005 : formal specification and developments in Z and B (Guildford, 13-15 April 2005)Lecture notes in computer science. :222-241

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
18

RaceTrack : Efficient detection of data race conditions via adaptive tracking
YUAN YU ; RODEHEFFER, Tom ; WEI CHEN
SOSP'05 : proceedings of the 20th ACM symposium on operating systems principlesOperating systems review. 39(5):221-234

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
19

Process algebra : A unifying approach
HOARE, Tony
CSP : communicating sequential processes : the first 25 years (London, 7-8 July 2004, revised invited papers)Lecture notes in computer science. :36-60

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
20

On the evolution of formal models and artificial neural architectures for visual motion detection
MORENO-DIAZ, R. JR ; QUESADA-ARENCIBIA, A ; RODRIGUEZ-RODRIGUEZ, J. C
Artificial intelligence and knowledge engineering applications : a bioinspired approach (Las Palmas, 15-18 June 2005. Part II)Lecture notes in computer science. :479-488

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List

Filter