677 search results - page 45 / 136 » Dependent Types from Counterexamples |
ECTEL
2007
Springer
15 years 3 months ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
78
Voted
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we propose an online training-oriented video shooting navigation system focused on camerawork based on video grammar by real-time camerawork evaluation to train use...
GG
2008
Springer
14 years 10 months ago
2008
Springer
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
CAD
2005
Springer
14 years 9 months ago
2005
Springer
This paper describes an approach at Volvo Truck Corporation where geometry users' requirements are utilised to define configurable product views. The paper is derived from a ...
IMCSIT
2010
14 years 7 months ago
2010
This paper presents a system that combines two text mining techniques; information extraction and clustering. A rulebased approach is used to perform the information extraction tas...