Sciweavers

12597 search results - page 2183 / 2520
» Complexity of Mechanism Design
Sort
View
CSDA
2007
87views more  CSDA 2007»
15 years 7 months ago
Estimation and inference in functional mixed-effects models
Functional mixed-effects models are very useful in analyzing functional data. A general functional mixed-effects model that inherits the flexibility of linear mixed-effects model...
Anestis Antoniadis, Theofanis Sapatinas
JAIR
2006
101views more  JAIR 2006»
15 years 7 months ago
Resource Allocation Among Agents with MDP-Induced Preferences
Allocating scarce resources among agents to maximize global utility is, in general, computationally challenging. We focus on problems where resources enable agents to execute acti...
Dmitri A. Dolgov, Edmund H. Durfee
JAR
2006
103views more  JAR 2006»
15 years 7 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
JOC
2008
92views more  JOC 2008»
15 years 7 months ago
Cryptanalysis of an E0-like Combiner with Memory
In this paper, we study an E0-like combiner with memory as the keystream generator. First, we formulate a systematic and simple method to compute correlations of the FSM output seq...
Yi Lu 0002, Serge Vaudenay
JBI
2006
117views Bioinformatics» more  JBI 2006»
15 years 7 months ago
Desiderata for domain reference ontologies in biomedicine
Domain reference ontologies represent knowledge about a particular part of the world in a way that is independent from specific objectives, through a theory of the domain. An exam...
Anita Burgun
« Prev « First page 2183 / 2520 Last » Next »