2705 search results - page 314 / 541 » Formal Ontology for Subject |
110
Voted
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
RE
2004
Springer
15 years 6 months ago
2004
Springer
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
ITICSE
2003
ACM
15 years 6 months ago
2003
ACM
There is now a substantial body of evidence in support of the use of pair programming in the classroom[3, 4, 10, 11, 13, 14]. Some of the data is anecdotal and some is the result ...
SIGIR
2003
ACM
15 years 6 months ago
2003
ACM
Four statistical visual feature indexes are proposed: SLM (Shot Length Mean), the average length of each shot in a video; SLD (Shot Length Deviation), the standard deviation of sh...
128
Voted
AI
2003
Springer
15 years 6 months ago
2003
Springer
This research is directed towards automating the Web Site summarization task. To achieve this objective, an approach, which applies machine learning and natural language processing...