Treffer 221 - 240 von 48.898

221

Intruder deduction for the equational theory of Abelian groups with distributive encryption
LAFOURCADE, Pascal ; LUGIEZ, Denis ; TREINEN, Ralf
16th international conference on rewriting techniques and applicationsInformation and computation (Print). 205(4):581-623

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Konferenz
Zu den Favoriten
222

Interval versions of statistical techniques with applications to environmental analysis, bioinformatics, and privacy in statistical databases
KREINOVICH, Vladik ; LONGPRE, Luc ; STARKS, Scott A ; et al.
Scientific Computing, Computer arithmetic, and Validated Numerics (SCAN 2004)Journal of computational and applied mathematics. 199(2):418-423

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Konferenz
Zu den Favoriten
223

International Workshop on Total Least Squares and Errors-in-Variables Modeling
VAN HUFFEL, Sabine ; MARKOVSKY, Ivan ; VACCARO, Richard J ; et al.
Signal processing. 87(10):2283-2319

Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
224

Interactive learning of node selecting tree transducer
CARME, Julien ; GILLERON, Rémi ; LEMAY, Aurélien ; et al.
Special issue on grammatical inferenceMachine learning. 66(1):33-67

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
225

Integration of advanced model based control with industrial IT
FLANKE, Riidiger ; DOPPELHAMER, Jens
Assessment and future directions of nonlinear model predictive control (Freudenstadt-Lauterbad, Germany, August 26-30, 2005)Lecture notes in control and information sciences. :399-406

Control theory, operatio... Automatique, recherche o... Documentation Computer science Informatique Sciences exactes et tech...
Konferenz
Zu den Favoriten
226

Innovating by accessing knowledge across departments
FANIEL, Ixchel M ; MAJCHRZAK, Ann
Decision support systems. 43(4):1684-1691

Electronics Electronique Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Konferenz
Zu den Favoriten
227

Information integration for constructing social statistics : history, theory and ideas towards a research programme
JUDSON, D. H
Journal of the Royal Statistical Society. Series A. Statistics in society (Print). 170:483-501

Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Konferenz
Zu den Favoriten
228

Improved error reporting for software that uses black-box components
HA, Jungwoo ; ROSSBACH, Christopher J ; DAVIS, Jason V ; et al.
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 42(6):101-111

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
229

Horn axiomatizations for sequential data
BALCAZAR, José L ; GARRIGA, Gemma C
Database theoryTheoretical computer science. 371(3):247-264

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
230

Hierarchical real-time garbage collection
PIZLO, Filip ; HOSKING, Antony L ; VITEK, Jan
Proceedings of the 2007 ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2007), San Diego, California, June 13-15, 2007ACM SIGPLAN notices. 42(7):123-133

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
231

Global cost of assignment in the TBM framework for association of uncertain ID reports
RISTIC, Branko ; SMETS, Philippe
Sensor management in complex systemsAerospace science and technology. 11(4):303-309

Aeronautics astronautics Aéronautique, astronauti... Mechanics acoustics Mécanique et acoustique Sciences exactes et tech... Exact sciences and techn...
Konferenz
Zu den Favoriten
232

Functional stepped surfaces, flips, and generalized substitutions
ARNOUX, Pierre ; BERTHE, Valérie ; FERNIQUE, Thomas ; et al.
Combinatorics on wordsTheoretical computer science. 380(3):251-265

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Konferenz
Zu den Favoriten
233

Extracting queries by static analysis of transparent persistence
WIEDERMANN, Ben ; COOK, William R
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):199-210

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
234

Extending a tuple-based XPath algebra to enhance evaluation flexibility : Datenbanksysteme
MATHIS, Christian
Informatik (Berlin, West). 21(3-4):147-164

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
235

Empirical analysis of the evolution of a taxonomy for best practices
O'LEARY, Daniel E
Decision support systems. 43(4):1650-1663

Electronics Electronique Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Konferenz
Zu den Favoriten
236

Efficient static analysis of XML paths and types
GENEVES, Pierre ; LAYAIDA, Nabil ; SCHMITT, Alan
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 42(6):342-351

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
237

Efficient reverse k-nearest neighbor estimation : Datenbanksysteme
ACHTERT, Elke ; BÖHM, Christian ; KRÖGER, Peer ; et al.
Informatik (Berlin, West). 21(3-4):179-195

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
238

Efficient pebbling for list traversal synopses with application to program rollback
MATIAS, Yossi ; PORAT, Ely
Automata, languages and programming (ICALP 2003)Theoretical computer science. 379(3):418-436

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Konferenz
Zu den Favoriten
239

Effective automatic parallelization of stencil computations
KRISHNAMOONHY, Sriram ; RAMANUJAM, J ; BASKARAN, Muthu ; et al.
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 42(6):235-244

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
240

Dynamic heap type inference for program understanding and debugging
POLISHCHUK, Marina ; LIBLIT, Ben ; SCHUIZE, W
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):39-46

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten

Filter