Sciweavers

2552 search results - page 288 / 511
» Development of an evaluation model for Question Answering Sy...
Sort
View
WOSP
2005
ACM
14 years 1 months ago
Applying SPE techniques for modeling a grid-enabled JAVA platform
Advances in Internet and the availability of powerful computers and high-speed networks have propitiated the rise of Grids. The scheduling of applications is complex in Grids due ...
Mariela Curiel, M. Angélica Pérez, R...
ICSE
2001
IEEE-ACM
14 years 23 days ago
A Scenario-Driven Approach to Traceability
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
Alexander Egyed
IMAGING
2003
13 years 9 months ago
Color and Color Constancy in a Translation Model for Object Recognition
Color is of interest to those working in computer vision largely because it is assumed to be helpful for recognition. This assumption has driven much work in color based image ind...
Kobus Barnard, Prasad Gabbur
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 12 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
BIRTHDAY
2005
Springer
14 years 1 months ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler