Sciweavers

3663 search results - page 126 / 733
» Problems in the ontology of computer programs
Sort
View
ATAL
2009
Springer
15 years 4 months ago
Resource allocation with answer-set programming
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of ...
João Leite, José Júlio Alfere...
LPNMR
2001
Springer
15 years 2 months ago
On the Expressibility of Stable Logic Programming
Schlipf (Sch95) proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf’s result to prove that SLP solves all search problems in the class ...
V. Wiktor Marek, Jeffrey B. Remmel
IWPC
2007
IEEE
15 years 4 months ago
Tracking Objects to Detect Feature Dependencies
The domain-specific ontology of a software system includes a set of features and their relationships. While the problem of locating features in object-oriented programs has been ...
Adrian Lienhard, Orla Greevy, Oscar Nierstrasz
IADIS
2008
14 years 11 months ago
Design of Physical Activity Recommendation System
Leisure-time physical activity (LTPA) has been shown to be an effective way of preventing diseases. However 50% of the people who start any type of sports or LTPA drop out of the ...
Ashkan Sami, Ryoichi Nagatomi, Masahiro Terabe, Ka...
ICAC
2005
IEEE
15 years 3 months ago
Quickly Finding Known Software Problems via Automated Symptom Matching
We present an architecture for and prototype of a system for quickly detecting software problem recurrences. Re-discovery of the same problem is very common in many large software...
Mark Brodie, Sheng Ma, Guy M. Lohman, Laurent Mign...