751 search results - page 60 / 151 » Consistency techniques for interprocedural test data generat... |
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Industry is increasingly demanding IT support for large engineering processes, i.e., process structures consisting of hundreds up to thousands of processes. Developing a ...
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
This paper explores two linguistically motivated restrictions on the set of words used for topic tracking on newspaper articles: named entities and headline words. We assume that n...
DAGSTUHL
2006
13 years 9 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
IJRR
2007
13 years 8 months ago
2007
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract a person’s activities and significant plac...
WSCG
2003
13 years 9 months ago
2003
We present techniques for automatically creating and animating models obtained from human whole body scanned data. A layered model is developed in which the underlying skeleton, s...