Sciweavers

16518 search results - page 2897 / 3304
» A New Approach to Splitting-Off
Sort
View
AIS
2006
Springer
15 years 7 months ago
Developing methods to understand discourse and workspace in distributed computer-mediated interaction
This paper presents on-going research towards understanding the discourse and workspace in computer mediated interactions. More specifically we present the development of a series...
Renate Fruchter, Humberto Cavallin
ALGORITHMICA
2006
74views more  ALGORITHMICA 2006»
15 years 7 months ago
Parallelizing Feature Selection
Classification is a key problem in machine learning/data mining. Algorithms for classification have the ability to predict the class of a new instance after having been trained on...
Jerffeson Teixeira de Souza, Stan Matwin, Nathalie...
186
Voted
AMAI
2006
Springer
15 years 7 months ago
Symmetric approximate linear programming for factored MDPs with application to constrained problems
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...
Dmitri A. Dolgov, Edmund H. Durfee
ENTCS
2008
89views more  ENTCS 2008»
15 years 7 months ago
CC(X): Semantic Combination of Congruence Closure with Solvable Theories
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
Sylvain Conchon, Evelyne Contejean, Johannes Kanig...
200
Voted
AO
2006
128views more  AO 2006»
15 years 7 months ago
Towards ontologies for formalizing modularization and communication in large software systems
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
Daniel Oberle, Steffen Lamparter, Stephan Grimm, D...
« Prev « First page 2897 / 3304 Last » Next »