Sciweavers

41 search results - page 8 / 9
» 4th ICSE Workshop on
Sort
View
IJRR
2002
129views more  IJRR 2002»
13 years 5 months ago
Deformable Free-Space Tilings for Kinetic Collision Detection
We present kinetic data structures for detecting collisions between a set of polygons that are moving continuously. Unlike classical collision detection methods that rely on bound...
Pankaj K. Agarwal, Julien Basch, Leonidas J. Guiba...
FMSD
2010
118views more  FMSD 2010»
13 years 4 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
DIMACS
1996
13 years 7 months ago
Easier Ways to Win Logical Games
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
Ronald Fagin
ICSE
2008
IEEE-ACM
14 years 6 months ago
Fostering user-developer collaboration with infrastructure probes
In this paper we present a new variation of cultural probes, called Infrastructure Probes (IP). IPs can be seen as an additional ethnographic method to get a deeper understanding ...
Christian Dörner, Jan Heß, Volkmar Pipe...
WIKIS
2009
ACM
13 years 11 months ago
Wikis4SE 2009: wikis for software engineering
Due to the simplicity, attractiveness and effectiveness for collaborative authoring and knowledge management, wikis are now massively disseminated and used in different domains. T...
Ademar Aguiar, Nuno Flores, Paulo Merson