Sciweavers

467 search results - page 46 / 94
» Designer Definites in Logical Form
Sort
View
EUSAI
2004
Springer
14 years 2 months ago
The PLANTS System: Enabling Mixed Societies of Communicating Plants and Artefacts
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...
Christos Goumopoulos, Eleni Christopoulou, Nikos D...
SIAMJO
2008
104views more  SIAMJO 2008»
13 years 9 months ago
A Minimax Theorem with Applications to Machine Learning, Signal Processing, and Finance
This paper concerns a fractional function of the form xT a/ xT Bx, where B is positive definite. We consider the game of choosing x from a convex set, to maximize the function, an...
Seung-Jean Kim, Stephen P. Boyd
FLAIRS
2008
13 years 11 months ago
Graph Grammars: An ITS Technology for Diagram Representations
For many educational applications such as learning tools for argumentation, structured diagrams are a suitable form of external representation. However, student-created graphs pos...
Niels Pinkwart, Kevin D. Ashley, Vincent Aleven, C...
CIKM
2010
Springer
13 years 4 months ago
Modeling betweenness for question answering
The gap between the user's information need and query is expanding due to the pervasiveness of Web search. Multimedia question answering is restricted by disjoint infrastruct...
Brandeis Marshall
ASPDAC
2007
ACM
124views Hardware» more  ASPDAC 2007»
14 years 1 months ago
Improving XOR-Dominated Circuits by Exploiting Dependencies between Operands
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...
Ajay K. Verma, Paolo Ienne