Sciweavers

1307 search results - page 182 / 262
» Follow the intellectual property
Sort
View
ATAL
2008
Springer
15 years 3 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»
15 years 3 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
15 years 3 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
15 years 3 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
15 years 3 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...