Sciweavers

1613 search results - page 218 / 323
» Model-Driven Constraint Engineering
Sort
View
ECSCW
2001
15 years 5 months ago
Spaces of practice
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...
Monika Büscher, Preben Mogensen, Dan Shapiro
AAAI
2000
15 years 5 months ago
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
Fangzhen Lin
ICONIP
1998
15 years 5 months ago
A Web Oriented Recurrent Neural Network Simulator
YANNS (Yet Another Neural Network Simulator) is a new object-oriented neural network simulator for feedforward networks as well as general recurrent networks. The goal of this pro...
Romuald Boné, Michel Crucianu, Pascal Makri...
GECCO
2008
Springer
112views Optimization» more  GECCO 2008»
15 years 5 months ago
Handling dynamic data structures in search based testing
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
Kiran Lakhotia, Mark Harman, Phil McMinn
DKE
2010
144views more  DKE 2010»
15 years 4 months ago
Reusing ontologies and language components for ontology generation
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Semantic Web ontologies can provide use...
Deryle W. Lonsdale, David W. Embley, Yihong Ding, ...