Sciweavers

1307 search results - page 182 / 262
» Follow the intellectual property
Sort
View
ATAL
2008
Springer
14 years 11 months ago
The effects of market-making on price dynamics
This paper studies price properties in continuous double-auction markets in the presence of marketmakers, agents with special responsibilities for maintaining liquidity and orderl...
Sanmay Das
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
14 years 11 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
AUSAI
2008
Springer
14 years 11 months ago
Working for Two: A Bidirectional Grammar for a Controlled Natural Language
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...
Rolf Schwitter
IMC
2007
ACM
14 years 11 months ago
Interference map for 802.11 networks
The interference map of an 802.11 network is a collection of data structures that can help heuristics for routing, channel assignment and call admission in dense wireless networks...
Dragos Niculescu
AIA
2007
14 years 11 months ago
Classification of biomedical high-resolution micro-CT images for direct volume rendering
This paper introduces a machine learning approach into the process of direct volume rendering of biomedical highresolution 3D images. More concretely, it proposes a learning pipel...
Maite López-Sánchez, Jesús Ce...