900 search results - page 128 / 180 » Object-Oriented Software Testing: Some Research and Developm... |
106
click to vote
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
CCGRID
2003
IEEE
15 years 6 months ago
2003
IEEE
Agent-oriented software is promising improvements especially for the design of distributed systems. But currently, there is a substantial gap between the massive number of publica...
COLING
2008
15 years 2 months ago
2008
The need for syntactically annotated data for use in natural language processing has increased dramatically in recent years. This is true especially for parallel treebanks, of whi...
107
click to vote
CASCON
1993
15 years 2 months ago
1993
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
118
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
To create a realistic environment, some simulations require simulated agents with human behavior pattern. Creating such agents with realistic behavior can be a tedious and time con...