307 search results - page 41 / 62 » Analysis of Hybrid Systems Using HySAT |
109
click to vote
ISMAR
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents a model-based hybrid tracking system for outdoor augmented reality in urban environments enabling accurate, realtime overlays for a handheld device. The system...
102
click to vote
ICSE
2008
IEEE-ACM
16 years 16 days ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
109
Voted
WSC
1997
15 years 1 months ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
The tagging problem in natural language processing is to find a way to label every word in a text as a particular part of speech, e.g., proper noun. An effective way of solving th...
IAJIT
2007
14 years 11 months ago
2007
: Software analysis pattern is an approach of software reuse which provides a way to reuse expertise that can be used across domains at early level of development. Developing softw...