5510 search results - page 766 / 1102 » Mathematics |
204
click to vote
ISSAC
2004
Springer
16 years 3 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
178
click to vote
ITS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
199
click to vote
IWQOS
2004
Springer
16 years 3 days ago
2004
Springer
— Quality of Service (QoS) is an area with high academic curiosity. Our long-term goal is to develop a unified mathematical model. This paper is a first step towards this ambit...
178
click to vote
KDD
2004
ACM
16 years 3 days ago
2004
ACM
We present a graph-theoretic approach to discover storylines from search results. Storylines are windows that offer glimpses into interesting themes latent among the top search re...
165
click to vote
OOPSLA
2004
Springer
16 years 2 days ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...