Sciweavers

166 search results - page 20 / 34
» Precise calling context encoding
Sort
View
ICSE
2008
IEEE-ACM
15 years 10 months ago
Debugging reinvented: asking and answering why and why not questions about program behavior
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
Andrew Jensen Ko, Brad A. Myers
SOCO
2005
Springer
15 years 3 months ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe
WSTFEUS
2003
IEEE
15 years 2 months ago
DOLPHIN: An Autonomous Indoor Positioning System in Ubiquitous Computing Environment
Determining physical location of indoor objects is one of the key issues in development of context-aware applications in ubiquitous computing environment. This is mainly because c...
Yasuhiro Fukuju, Masateru Minami, Hiroyuki Morikaw...
CICLING
2010
Springer
15 years 2 months ago
Extraction of Genic Interactions with the Recursive Logical Theory of an Ontology
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
Alain-Pierre Manine, Érick Alphonse, Philip...
CAD
2005
Springer
14 years 9 months ago
Lossless compression of predicted floating-point geometry
The size of geometric data sets in scientific and industrial applications is constantly increasing. Storing surface or volume meshes in standard uncompressed formats results in la...
Martin Isenburg, Peter Lindstrom, Jack Snoeyink